3Lu Z, Levis A H. A Colored Petri Net Model of Distributed Tactical Decision Making[C]//In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics: 3. Piscataway: IEEE, 1991: 2035-2040.
4Jensen K. Colored Petri Nets : Basic Concepts, Analysis Methods and Practical Use[M]. Berlin: Springer-Verlag, 1997.
5Jensen K. Colored Petri Nets: a High-level Language for System Design and Analysis[J]. Lecture Notes in Computer Science, 1991(483): 342-416.
6Jensen K. An Introduction to the Theoretical Aspects of Colored Petri Nets[J]. Lecture Notes in Computer Science, 1994(803) : 230-272.
7Li Z W, Zhou M C. Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems[J]. IEEE Trans on Syst, Man, and Cybern, Part A, 2004, 34(1): 38-51.
