Process net system of Petri net

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 25, Issue 12, 2002, Pages 1308-1315

  Zeng, Qing Tian ^a,b   Wu, Zhe Hui ^b  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Basic process section; Characteristic reachability tree; Controlled repetitive vector; Petri net; Process net system; Repetitive vector

Indexed keywords

ALGORITHMS; CONSTRUCTION; TREES (MATHEMATICS); VECTORS;

BASIC PROCESS SECTION; CHARACTERISTIC REACHABILITY TREE; CONTROLLED REPETITIVE VECTOR; PROCESS NET SYSTEM; REPETITIVE VECTOR;

PETRI NETS;

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

References (8)

1. Gltz U, Reisig W. Processes of place/transition net. In: LNCS, New York: Springer-Verlag, 1983, 154: 264-277
2. Wolfgang Reisig. Petri Nets - An Introduction. New York: Springer-Verlag, 1985.
3. Yuan Chong-Yi. Principle of Petri Net. Beijing: Publishing House of Electronics Industry, 1998 (in Chinese)
4. Wu Zhe-Hui. Process expression of bounded Petri net. Science in China (Series E), 1996, 39 (1): 37-49
5. Wu Zhe-Hui, Wang Pei-Liang, Zhao Mao-Xian. Process expression of unbounded fair net. Chinese Journal of Computers, 2000, 23 (4): 337-344 (in Chinese)
6. Jiang Chang-Jun. An algorithm for finding effective (controlled) repetitive vectors. Chinese Journal of Computers, 1994, 17(8): 580-587
7. Yuan Chong-Yi. Process periods and system reconstruction. In: LNCS. New York: Springer-Verlag, 1985, 222: 122-141
8. Zeng Qing-Tian, Wu Zhe-Hui. An algorithm for establishing the set of basic process sections for a Petri net. Chinese Computer Science, 2001, 28 (7): 5-11 (in Chinese)