Invariant decomposition conditions for Petri nets based on the index of transitions

Information Technology Journal

Volumn 11, Issue 7, 2012, Pages 768-774

  Liu, Cong ^a   Zeng, Qingtian ^a   Zou, Jie ^a   Lu, Faming ^a   Wu, Qingxin ^a  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Index of transitions; Invariant decomposition; Petri net; Petri net language; Reachable marking graph; Reachable states

Indexed keywords

DECOMPOSITION METHODS; INVARIANT DECOMPOSITIONS; NET SYSTEMS; ORIGINAL SYSTEMS; PETRI NET LANGUAGES; REACHABLE MARKING GRAPH; REACHABLE STATES; RESEARCH RESULTS; SUBNETS; SUFFICIENT CONDITIONS;

COMPUTER SCIENCE; INFORMATION TECHNOLOGY;

PETRI NETS;

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

References (28)

1. Cui, T., Q. Zeng and D. Zhang, 2011. Recognition algorithm design and complex analysis for languages of S-nets. Inform. Technol. J., 10:106-112.
2. Du, Y. Y. and B. Q. Guo, 2009. Logic petri nets and equivalency. Inform. Technol. J., 8:95-100.
3. Jiang, C. and Z. Wu, 1992. Net operations. J. Comput. Sci. Technol., 7:333-344.
4. Jiang, C, 1997. Petri net dynamic invariance. Sci. China, Series E: Technol., 40:605-611.
5. Jiang, C, 2000. Complete sequence behavior invariance of synchronous composition nets. J. Applied Sci., 18:271-275.
6. Lee-Kwang, H., J. Favrel and P. Baptiste, 1987. Generalized Petri net reduction method. IEEE Trans. Syst. Man Cybernetics, 17:297-303.
7. Liu, W. and Y. Du 2009. Modeling multimedia synchronization using petri nets. Inform. Technol. J., 8:1054-1058.
8. Liu, W., Y. Du and H. Sun, 2009. Soundness analysis of T-restricted interorganizational logical workflow nets. Inform. Technol. J., 8:821-829.
9. Meng, D., Q. Zeng, F. Lu, J. Sun and J. An, 2011. Crossorganization task coordination patterns of urban emergency response systems. Inform. Technol. J., 10:367-375.
10. Murata, T., 1989. Petri nets: Properties, analysis and applications. Proc. IEEE, 77:541-580.
11. Peterson, J., 1981. Petri Net Theory and the Modeling of Systems. 1st Edn., Prentice Hall, Englewood Cliffs, New Jersey, ISBN: 0136619835, pp: 288.
12. Sun, S. X., Q. Zeng and H. Wang, 2011. Process-mining-based workflow model fragmentation for distributed execution. IEEE Trans. Syst. Man Cybernetics, Part A: Syst. Humans, 41:294-310.
13. Suzuki, I. and T. Murata, 1983. A method for stepwise refinement and abstraction of Petri nets. J. Comput. Syst. Sci., 27:51-76. (Pubitemid 14466779)
14. Wang, P., 1999. The sum decomposition of P/T system. Comput. Sci., 26:147-151.
15. Wang, H., 2001a. A modeling method for FMS based on the synchronous composition of Petri nets. Syst. Engin. Theory Practice, 21:35-42.
16. Wang, P., 2001b. The union decomposition of P/T system. Control Theory Applic, 18:116-118.
17. Wang, H. and Q. Zeng, 2008. Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on petri nets. IEEE Trans. Syst. Man Cybernetics Part A: Syst. Hum., 38:802-817.
18. Wu, Z. H., 2006. An Introduction to Petri Net. Publishing House of China Machine, Beijing, China.
19. Zeng, Q. T. and Z. H. Wu, 2002. Decomposition method of petri net based on the index of places. Comput. Sci., 29:15-17.
20. Zeng, Q. and Z. Wu, 2004. Research on invariant decomposition technology for Petri net based on the index of transitions. Mini-Micro Syst., 25:1671-1675.
21. Zeng, Q. T., 2004. Behavior descriptions of structurecomplex Petri nets based on synchronous composition. J. Software, 15:327-337.
22. Zeng, Q., 2006. A decomposition method of petri net based on index of transitions. Comput. Sci., 33:144-146.
23. Zeng, Q. and H. Duan, 2007. Behavior description for complex flexible manufacturing system based on decomposition of Petri net. Int. J. Comput. Syst. Sci. Eng., 22:359-363. (Pubitemid 351211819)
24. Zeng, Q., 2007. Two symmetrical decomposition methods for structure-complex Petri net and their applications. ACIS Int. Conf. Software Engin. Artificial Intelli. Networking Parallel/Distributed Comput, 3:1101-1106. (Pubitemid 47533510)
25. Zeng, Q., 2008. A construction method for the process expression of petri net based on decomposition. Inform. Technol. J., 7:420-429.
26. Zeng, Q., H. Wang, D. Xu, H. Duan and Y. Han, 2008a. Conflict detection and resolution for workflow constrained by resources and non-determined duration. J. Syst. Software, 81:1491-1504.
27. Zeng, Q., X. Hu, J. Zhu and H. Duan, 2008b. A polynomial-time decomposition algorithm for a petri net based on indexes of places. J. Applied Sci., 7:4668-4673.
28. Zeng, Q., 2011. A polynomial-time decomposition algorithm for petri nets based on indexes of transitions. Inform. Technol. J., 10:856-862.