Extended Stochastic Petri Nets: Applications and Analysis.
J.B. Dugan, Kishor Shridharbhai Trivedi, Robert Geist, V.F. Nicola · 1984
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 is the simulation of more general models. Finally, DEEP (the Duke ESPN Evaluation Package) is previewed. (Author)