Pumping lemma of Petri net language

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 29, Issue 2, 2006, Pages 274-278

  Jiang, Chang Jun ^a   Liu, Guan Jun ^b  

^a TONGJI UNIVERSITY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Language; Petri net; Pumping lemma; Regular language

Indexed keywords

APPLICATIONS; COMPUTER PROGRAMMING LANGUAGES; CONTEXT FREE LANGUAGES; FORMAL LANGUAGES; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; VECTORS;

BOUNDED PETRI NET; EMPTY LABEL; PETRI NET LANGUAGE; PUMPING LEMMA;

PETRI NETS;

EID: 33645641384     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Peterson J.. Petri Net Theory and the Modeling of Systems. Englewood Cliffs: Prentice-Hall, 1981
2. Hack M.. Petri net languages. In: Computation Structures Group Memo 124, Project MAC, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1975
3. Jiang Chang-Jun. Vector grammars and PN mathines. Science in China (Series A), 1996, 25(12): 1315-1322 (in Chinese)
4. Jiang Chang-jun, Wu Zhe-hui, Wang Cheng-hong. The recognizer of PN languages. Journal of Electronics, 1998, 26(2): 127-129 (in Chinese)
5. Jiang Chang-Jun, Lu Wei-Ming. On properties of concurrent system based on Petri net language. Journal of Software, 2000, 12(4): 512-520
6. Jiang Chang-Jun. Theory of PN Machine in DEDS. Beijing: Science Press, 2000 (in Chinese)
7. Jiang Chang-Jun. Behavior Theory and Applications of Petri Net. Beijing: Higher Education Press, 2003 (in Chinese)
8. Hopcroft J., Ullman J.. Introduction to Automata Theory, Languages and Computation. America: Addison-Wesley Publishing Company, 1979
9. Wu Zhe-Hui. Petri net description of Pumping lemma-A set of conditions for determining the type of a Petri net language. Chinese Journal of Computers, 1994, 17(11): 852-858 (in Chinese)
10. Jiang Chang-Jun. An algorithm for finding effective (controlled) repetitive vectors. Chinese Journal of Computers, 1994, 17(18): 580-587 (in Chinese)