各类Petri网语言间的关系精选.pdf

19 7 © Vol. 19 No. 7 2007 4 Journal of System Simulation Apr., 2007 Petri 1 1,2 1 (1., 266510; 2., 201804) Petri Petri Petri Petri 12 Petri 12 12 Petri TP301 A 1004-731X (2007) 07-1633-06 Relations of All Classes of Petri Net Languages 1 1,2 1 LIU Guan-jun , JIANG Chang-jun , CHEN Li-jing (1.College of Information, SDUST, Qingdao 266510, China; 2.Department of Computer, Tongji University, Shanghai 201804, China) Abstract: Petri net language is an important component of Petri net theory and can reflect simulating power of Petri net. It is also one of important methods for analyzing system behavior and applied in many fields. The relations of 12 classes of Petri net languages have been studied roughly. Based on the relations of these classes, more detailed relations were described that some classes contain others properly and some ones are intersecting but not contained mutually. So these containment relations can reflect different simulating powers of them more accurately. Some characters of these classes are shown in the proof processes. Key words: petri net; language; type; class 1 [7]Petri (L )Pumping Petri Petri Petri Petri [8] [1][2-3] PN (PN PN PN ) Petri ( Petri