Behavior descriptions of structure-complex Petri nets based on synchronous composition

Ruan Jian Xue Bao/Journal of Software

Volumn 15, Issue 3, 2004, Pages 327-337

  Zeng, Qing Tian ^a,b,c  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^c UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

Petri net; Petri net language; S net; Synchronous composition; Synchronous intersection

Indexed keywords

FORMAL LANGUAGES; SOFTWARE ENGINEERING;

PETRI NET LANGUAGE; STRUCTURE SIMPLE PETRI NET; SYNCHRONOUS COMPOSITION; SYNCHRONOUS INTERSECTION;

PETRI NETS;

EID: 2942754086     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. Yuan CY. Principle of Petri Net. Beijing: Publishing House of Electronics Industry, 1998(in Chinese).
2. Peterson J. Petri Net Theory and the Modeling of Systems. Englewood Cliffs: Prentice-Hall, Inc., 1981.
3. Murata T. Petri nets, properties, analysis and applications. Proc. of the IEEE, 1989, 77(4): 541-577.
4. Garg VK, Ragunath MT. Concurrent regular expressions and their relationship to Petri nets. Theoretical Computer Science, 1992, 96(2): 285-304.
5. Wu ZH. Petri net description of pumping lemma-A set of conditions for determining the type of Petri net language Chinese Journal of Computers, 1994, 17(11): 852-858 (in Chinese with English abstract)
6. Jiang CJ, Lu WM. On properties of concurrent system based on Petri net language. Journal of Software, 2001, 12(4): 512-520 (in English with Chinese abstract).
7. Zeng QT, Wu ZH. Synchronous intersection operation of Petri net languages. Mini-Micro Systems, 2004, 25(2): 216-220 (in English with Chinese abstract).
8. Hopcroft J, Ullman J. Introduction to Automation Theory Languages and Computation. Reading: Addison-Wesley, 1979.
9. Lee KH, Favrel J, Baptiste P. Generalized Petri net reduction method. IEEE Trans. on Systems Man and Cybernetics, 1987, 17(2): 297-303.
10. Suzuki I, Murata T. A method for stepwise refinement and abstraction of Petri nets. Journal of Computer and System Science, 1983, 27(1): 51-76.
11. Zeng QT, Wu ZH. Decomposition method of Petri net based on index of places. Journal of Computer Science, 2002, 29(4): 15-17 (in Chinese with English abstract).
12. Zeng QT, Wu ZH. Language behavior description of structure-complex Petri net based on decomposition. Journal of System Engineering, 2004, 19(3): 231-237 (in English with Chinese abstract).
13. Jiang CJ. Research of process characters of synchronous composition nets. Journal of Electronics, 1996, 25(2): 57-60 (in Chinese with English abstract).
14. Jiang CJ. Petri net dynamic invariance. Science in China (Series E), 1997, 27(4): 605-61l(in Chinese with English abstract).
15. Jiang CJ. Complete sequence behavior invariance of synchronous composition nets. Journal of Applied Science, 2000, 18(3): 271-275 (in Chinese with English abstract).