Issue No. 07 - July (1988 vol. 37)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.2227
A class of stochastic Petri nets called stochastic high-level Petri nets (SHLPNs) is proposed. SHLPNs are high-level Petri nets augmented with exponentially distributed firing times. SHLPNs generally lead to models with a smaller state space. A computer marking concept is introduced that allows a considerable reduction of the number of states and induces a correct grouping of states in the Mark
stochastic high level Petri nets; models; computer marking concept; multiprocessor systems; directed graphs; multiprocessing systems; stochastic processes.
D. Marinescu and C. Lin, "Stochastic High-Level Petri Nets and Applications," in IEEE Transactions on Computers, vol. 37, no. , pp. 815-825, 1988.