Abstract
Petri net synthesis processes provide a solution for handling high complexity of analyzing large systems. These bottom-up techniques, consisting of sharing operation, synchronous operation, self-loops connection as well as inhibitor-arc connection, have the advantages of ease of system description and analysis since the properties of subsystems must be preserved in the synthesized system. This paper focus on the concurrent behavior relation in self-loops connection of Petri net systems. First, the property of dynamic invariance, reflecting the interaction of subsystems is discussed. Second, a necessary and sufficient criterion for the reversibility in self-loops connection is presented. Finally, some conditions for reversibility preservation are proposed. The advantages of our approaches are in the context of concurrent language and can synthesize Petri net systems beyond asymmetric choice nets.
This work is supported by State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences under Grant No. SYSKF1011, the National Natural Science Foundation of China under Grant No. 61070059, National Basic Research Development Program of China(973 Program) under grant No.2009CB326204.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Reisig, W.: Simple Composition of Nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 23–42. Springer, Heidelberg (2009)
Christensen, S., Petrucci, L.: Modular analysis of Petri nets. The Computer Journal 43(3), 224–242 (2000)
Ferrarini, L., Narduzzi, M., Tassan-Solet, M.: A new approach to modular liveness analysis conceived for large logic controllers’ design. IEEE Transactions on Robotics and Automation 10(2), 169–184 (1994)
Ferrarini, L.: An incremental approach to logic controller design with Petri nets. IEEE Transactions on Systems, Man, and Cybernetics 22(3), 461–473 (1992)
Wang, H.Q., Jiang, C.J., Liao, S.Y.: Behavior relations in synthesis process of Petri net models. IEEE Transsactions on Robotics and Automation 16(4), 400–406 (2000)
Jeng, M.D.: A Petri net synthesis theorey for modeling flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics 27(2), 169–183 (1997)
Jeng, M.D.: A Petri net synthesis theory for modeling flexible manufacturing systems. IEEE Trans on systems, Man, and Cybernetics-Part B:Cybernetics 27(2), 169–183 (1997)
Jeng, M.D., Diceare, F.: Synthsis using resource control nets for modeling share resource systems. IEEE Trans on Systems, Man and Cybernetics 11(3), 317–327 (1996)
Ferrarini, L., Trioni, M.: Modeling shared resources with generalized synchronization within a Petri net bottom-up approach. IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics 26(45), 653–659 (1996)
Aybar, A., Ifar, A.: Overlapping decompositions and expansions of Petri nets. IEEE Transactions on Automatic Control 47(3), 511–515 (2002)
Xing, K.Y., Hu, B.S., Chen, H.X.: Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control 41(2), 39–45 (1996)
Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Jiang, C.J.: A PN machine theory of discrete event dynamic system. The Science Press, Beijing (2000)
Ding, Z.J., Jiang, C.J., Zhou, M.C., Zhang, Y.Y.: Preserving languages and properties in stepwise refinement-based synthesis of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans 38(4), 791–801 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pu, F. (2011). Dynamic Invariance and Reversibility Preservation in Self-loops Connection of Petri Net Systems. In: Liu, C., Chang, J., Yang, A. (eds) Information Computing and Applications. ICICA 2011. Communications in Computer and Information Science, vol 244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27452-7_56
Download citation
DOI: https://doi.org/10.1007/978-3-642-27452-7_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27451-0
Online ISBN: 978-3-642-27452-7
eBook Packages: Computer ScienceComputer Science (R0)