Hostname: page-component-586b7cd67f-tf8b9 Total loading time: 0 Render date: 2024-11-25T23:47:38.031Z Has data issue: false hasContentIssue false
  • English
  • Français

Liveness and boundedness analysis of Petri net synthesis†

Published online by Cambridge University Press:  04 September 2014

CHUANLIANG XIA
CHUANLIANG XIA*
Affiliation:
School of Computer Science and Technology, Shandong Jianzhu University, Jinan, China State Key Laboratory of Computer Science, Institute of Software, Academy of Sciences, Beijing, China Email: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We provide motivation for and then study the synthesis of Petri nets. Synthesis can avoid the state exploration problem by guaranteeing correctness for the Petri net. We propose conditions to be imposed on a synthesis shared pb-type subnet for systems specified in Petri nets that ensure the preservation of the liveness and boundedness structural properties. Specifically, we propose a group of sufficient conditions, or both sufficient and necessary conditions, for liveness preservation and boundedness preservation. Possible applications of this synthesis method are illustrated through an example in the form of a flexible manufacturing system. These results are useful for studying the static and dynamic properties of Petri nets for analysing the properties of large complex systems.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 24 , Special Issue 5: Mathematical Method in Intelligent Computing and Automation , October 2014 , e240514
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

†

This work was financially supported by the National Natural Science Foundation of China under Grant Numbers 60573012, 60672180 and 60721061, the National Grand Fundamental Research 973 Program of China under Grant Number 2002cb312200, and CAS Key Laboratory of Computer Sciences (SYSKF0903).

References

Agerwala, T. and Choed-Amphai, Y. (1978) A synthesis rule for concurrent systems. Proceedings of the 15th Design Automation Conference 305–311.Google Scholar
Badouel, E. and Darondeau, Ph. (2004) Representing control: a study of the CPS transformation. Information and Computation 193 (2)117–135.CrossRefGoogle Scholar
Cheung, K. S., Cheung, T. Y. and Chow, K. O. (2006) A Petri-net-based synthesis methodology for use-case-driven system design. The Journal of Systems and Software 79 (7)772–790.CrossRefGoogle Scholar
Ding, Z. J., Wang, J. L. and Jiang, C. J. (2008) An approach for synthesis Petri nets for modeling and verifying composite web service. Journal of Information Science and Engineering 24 (10)1309–1328.Google Scholar
Koh, K. and DiCesare, F. (1991) Modular transformation methods for generalised petri nets and their application to automated manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics 21 (6)1512–1522.Google Scholar
Krogh, B. H. and Beck, C. (1986) Synthesis of place transition nets for simulation and control of manufacturing systems. In: Geering, H. and Mansour, M. (eds.) Large-Scale Systems: Theory and Applications, Pergamon Press 583–588.Google Scholar
Lorenz, R., Bergenthum, R., Desel, J. and Mauser, S. (2008) Synthesis of Petri nets from finite partial languages. 8th International Conference of Concurrency to System Design 170–179.Google Scholar
Murata, T. (1989) Petri nets: properties, analysis and applications. Proceedings of IEEE 77 (4)541–580.Google Scholar
Tsinarakis, G. J., Tsourveloudis, N. C. and Valavanis, K. P. (2005) An approach for synthesis Petri nets for modeling and verifying composite web service. Journal of Intelligent manufacturing 16 (1)67–92.CrossRefGoogle Scholar
Vasiliu, A. I., Dideban, A. and Alla, H. (2009) Control synthesis for manufacturing systems using non-safe Petri nets. CEAI 11 (2)43–50.Google Scholar
Xia, C. (2005) Structural liveness preservation of Petri synthesis net. Journal of Computational Information Systems 13 (12)4485–4492.Google Scholar
Xia, C. (2006) Analysis of properties of Petri synthesis net. Proceedings of the 3rd International Conference on Theory and Applications of Models of Computation 576–587.CrossRefGoogle Scholar
Xia, C. (2008) Property preservation by Petri net synthesis in system design. Proceedings of International Technology and Environmental System Sciences 6–11.Google Scholar