Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Hi-index | 0.00 |
An Extended Stochastic Petri Net (ESPN) model, useful for modeling systems which exhibit concurrent, asynchronous, or nondeterministic behavior is developed. Applications demonstrating the flexibility of the model for a variety of system modeling applications are presented. Analytic techniques for the representation of a class of ESPNs as Markov or semi-Markov processes are discussed, as in the simulation of more general models. Finally, DEEP (The Duke ESPN Evaluation Package) is previewed.