A construction method for the process expression of petri net based on decomposition

Information Technology Journal

Volumn 7, Issue 3, 2008, Pages 420-429

  Zeng, Qingtian ^a  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Decomposition; Petri net; Process; Process expression; S Net; Synchronization shuffle

Indexed keywords

CONSTRUCTION; GRAPH THEORY; INFORMATION THEORY; MARINE BIOLOGY;

CONSTRUCTION METHODS; DECOMPOSITION METHODS; PETRI NET; PROCESS PROPERTIES; PROCESS SEMANTICS; S-NET;

PETRI NETS;

EID: 57149101759     PISSN: 18125638     EISSN: 18125646     Source Type: Journal    
DOI: 10.3923/itj.2008.420.429     Document Type: Article

References (14)

1. Duan, H. and Q.T. Zeng, 2004. Liveness analysis for S-net. Mini-Micro Syst, 25: 1975-1978.
2. Garg, V.K. and M.T. Ragunath, 1992. Concurrent regular expressions and their relationship to Petri nets. Theor. Comput Sci., 96: 258-304.
3. Lu, R.Q., 1992a. P/Rnets and P/R processes (I). Science in China (Series E), pp: 35: 21-31.
4. Lu, R.Q., 1992b. P/R nets and P/R processes (II). Science in China (Series E), 35: 148-157.
5. Murata, T., 1989. Petri Nets: Properties, analysis and applications. Proceedings IEEE, pp: 77.
6. Wu, Z.H., 1996. Process expression of bounded petri net. Sci. China (Series E), 39: 37-49.
7. Wu, Z.H., P.L. Wang and M.X. Zhao, 2000. Process expression of unbounded fair Petri net. Chin. J. Comput., 23: 337-344.
8. Yuan, C.Y., 2005. Principle and Application of Petri Net. Beijing: Publishing House of Electronics Industry.
9. Zeng, Q.T. and Z.H. Wu, 2002a. Decomposition method of petri net based on the index of places. Comput. Sci., 29: 15-17.
10. Zeng, Q.T. and Z.H. Wu, 2002b. The language characteristics analysis of analogous S-graph. Comput. Sci., 29: 120-122.
11. Zeng, Q.T. and Z.H. Wu, 2002c. Process net system of petri net. Chin. J. Comput, 25: 1308-1315.
12. Zeng, Q.T. and Z.H. Wu, 2003. Process expression of unbounded Petri net. Chin. J. Comput, 26: 1629-1636.
13. Zeng, Q.T. and Z.H.Wu, 2004a. Methods for behavior descriptions of structure-complex petri nets based on decomposition. J. Control Theor. Appl., 2: 93-98.
14. Zeng, Q.T. and Z.H. Wu, 2004b. Invariant decomposition conditions for Petri net. Mini-Micro Syst, 25: 1671-1675.