4Lakos Ch. The Challenge of Object Orientation for the Analysis of Concurrent Systems [ C ]. proceedings of Conference on Applications and Theory of Petri Nets, Spring Verlag,2002:59- 67. 被引量:1
5Jensen K. Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use[ J]. Basic Concepts, Spring-Verlag, 1997 (1). 被引量:1
6Dimitri Bertsekas, Robert Gallager. Data Networks. 2 nd Edition. Prentice Hall 1991. 150 -269 被引量:1