Extended Stochastic Petri Nets: Applications and Analysis

摘要

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)