8Ciardo G, Muppala K,Trivedi K S. Stochastic Petri Net Package[C].Proceedings of the 3^rd International Workshop on Petri Nets and Performance Models, Kyoto. Japan, 1989:142-151.
9Lin C, Marinescu D C. Stochastic High-level Petri Nets and Applications[J]. IEEE Transactions on Computers, 1988, 37(7): 815.
