Two symmetrical decomposition methods for structure-complex petri nets and their applications

Proceedings - SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

Volumn 3, Issue , 2007, Pages 1101-1106

  Zeng, Qingtian ^a  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; INDEXING (OF INFORMATION); SYNCHRONIZATION;

DECOMPOSITION METHODS; INDEX FUNCTION; SYMMETRICAL DECOMPOSITION;

PETRI NETS;

EID: 35148813521     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SNPD.2007.559     Document Type: Conference Paper

References (18)

1. W. M. V D. Aalst and A. H. M. T. Hofstede. Verification of workflow task structures: A Petri-net-based approach. Inf. Syst., 25(1):43-69, 2000.
2. V. K. Garg and M. T. Ragunath. Concurrent regular expressions and their relationship to Petri nets. Theor. Comput. Sci., 96(2):285-304, 1992.
3. J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to automata theory, languages, and computation, 2nd edition. ACM Press, New York, NY, USA, 2001.
4. C. Jiang. Petri net dynamic invariance. Science in China (Series E)., 27(4):605-611, 1997.
5. C. Jiang and W. Lu. On properties of concurrent system based on Petri net language. Journal of Software, 12(4):512-520, 2001.
6. M. Latteux and Y. Roos. Synchronized shuffle and regular languages. In Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa, pages 35-44, London, UK, 1999. Springer-Verlag.
7. H. Lee-Kwang, J. Favrel, and P. Baptiste. Generalized Petri net reduction method. IEEE Trans. Syst. Man Cybern., 17(2):297-303, 1987.
8. T. Murata. Petri nets: Properties, analysis and applications. In Proceedings of the IEEE, pages 541-580, Apr. 1989.
9. T. Murata. Temporal uncertainty and fuzzy-timing high-level Petri nets. In Proceedings of the 17th International Conference on Application and Theory of Petri Nets, pages 11-28, London, UK, 1996. Springer-Verlag.
10. G. Peterka and T. Murata. Proof procedure and answer extraction in Petri net model of logic programs. IEEE Trans. Softw. Eng., 15(2):209-217, 1989.
11. J.L.Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River, NJ, USA, 1981.
12. Y Souissi. On liveness preservation by composition of nets via a set of places. In Papers from the 11th International Conference on Applications and Theory of Petri Net, pages 277-295, London, UK, 1991. Springer-Verlag.
13. I. Suzuki and T. Murata. A method for stepwise refinement and abstraction of Petri nets. Journal of Computer and System Science, 27(1):51-76, Aug. 1983. Newsletterinfo: 6.
14. C. Yuan. Principle of Petri net. Publishing House of Electronics Industry, Beijing, China, 1998.
15. Q. Zeng. Behavior descriptions of structure-complex Petri nets based on synchronous composition. Journal of Software, 15(3):327-337, 2004.
16. Q. Zeng and Z. Wu. Language behavior description of structure-complex Petri net based on decomposition. Journal of System Engineering, 19(3):300-306.
17. Q. Zeng and Z. Wu. The language characters analysis of analogous s-graph. Computer Science, 29(5): 120-122.
18. M. C. Zhou, F. DiCesare, and D. L. Rudolph. Design and implementation of a Petri net based supervisor for a flexible manufacturing system. Automtica, 28(6): 1199-1208, 1992.