2[2]Hack M. Petri Net languages [M]. Computation Structures Group Memo 124.Project MAC, Cmbridge, Massachusetts: Massachusetts Institute of Thechnology, 1975.
4[4]Garg V K, Ragunath M T. Concurrent Regular Expressions and Their Relationship to Petri Nets [J]. Theoretical Computer Science, 1992, 96(2): 258-304.
10[11]L P Lisovik, D A Koval. Language Recognition by Two-Way Determinstic Pushdown Automata [J]. Cybernetics and Systems Analysis, 2004, 40(6): 939-942.
5Berthelot G. Checking properties of nets using transformations. In: Rozenberg G, ed. LNCS 254, New York: Springer-Verlag, 1985.19-40.
6Berthelot G. Transformations and decompositions of nets. In: Brauer W, Reisig W, Rozenberg G, eds. LNCS 256, New York:Springer-Verlag, 1986. 359-376.
7Aybar A, Ifar A. Overlapping decompositions and expansions of Petri nets. IEEE Trans. on Automatic Control, 2002,47(3):511-515.
8Jiang CJ. A PN Machine Theory of Discrete Event Dynamic System. Beijing: Science Press, 2000 (in Chinese).
9Jiang CJ. Petri net dynamic invariance. Science in China (Science E), 1997,27(6):605-611 (in Chinese with English abstract).
10Wang HQ, Jiang C J, Liao SY. Behavior relations in synthesis process of Petri net models. IEEE Trans. on Robotics and Automation, 2000,16(4):400-406.
