Dan C. Marinescu;John R. Rice
-;Perdue Univ., West Lafayette
Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers