Abstract
Discrete event systems (DES) control based on interpreted Petri nets (IPN) is presented in this paper. While place/transition Petri nets (P/T PN) are usually used for modelling and control in case of controllable transitions and measurable places, the IPN-based models yield the possibility for the control synthesis also in case when P/T PN models contain some uncontrollable transitions and unmeasurable places. The creation of the IPN model from such a P/T PN model is introduced and the control synthesis is performed. The illustrative examples as well as the case study on a robotized assembly cell are introduced.
F. Čapkovič—Partially supported by the grant VEGA 2/0039/13.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Čapkovič, F.: Agent based approach to modelling ATM network. In: Proceedings of the 2012 IEEE 6th International Conference on Intelligent Systems - IEEE IS 2012, Sofia, Bulgaria, 6–8 September 2012, vol. I, pp. 102–107. IEEE Press, Piscataway (2012)
Desel, J., Reisig, W.: Place/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 122–173. Springer, Heidelberg (1998)
Dotoli, M., Fanti, M., Mangini, A.: On-line identification of discrete event systems by interpreted Petri nets. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics - SMC 2006, Taipei, Taiwan, 8–11 October 2006, vol. 4, pp. 3040–3045. IEEE Press, Piscataway (2006)
Karatkevich, A.: Dynamic Analysis of Petri Net-Based Discrete Systems. Lecture Notes in Control and Information Sciences, vol. 356. Springer, Heidelberg (2007)
Lutz-Ley, A., Mellado, E.L.: Synthesis of fault recovery sequences in a class of controlled discrete event systems modelled with Petri nets. In: 2013 Iberoamerican Conference on Electronics Engineering and Computer Science, Procedia Technology, vol. 7, pp. 257–264 (2013)
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77, 541–580 (1989)
Peterson, J.L.: Petri nets. Comput. Surv. 9, 223–252 (1977)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall Inc., Englewood Cliffs (1981)
Rivera-Rangel, I., Ramírez-Treviño, A., Aquirre-Salas, L.I., Ruiz-León, L.I.: Geometrical characterization of observability in interpreted Petri nets. Kybernetika 41, 553–574 (2005)
Santoyo-Sanchez, A., Pérez-Martínez, M.A., De Jesús-Velásquez, V., Aguirre-Salas, L.I., Alvarez-Ureña, M.A.: Modeling methodology for NPC’s using interpreted Petri nets and feedback control. In: Proceedings of the 2010 7th International Conference on Electrical Engineering, Computing Science and Automatic Control - CCE 2010, Tuxtla Gutiérrez, Chiapas, Mexico, 8–10 September 2010. CD-ROM, pp. 369–374. IEEE Press (2010)
Acknowledgments
The author thanks the Slovak Grant Agency VEGA for the partial support under grant # 2/0039/13.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Čapkovič, F. (2016). Interpreted Petri Nets in DES Control Synthesis. In: Nguyen, N.T., Trawiński, B., Fujita, H., Hong, TP. (eds) Intelligent Information and Database Systems. ACIIDS 2016. Lecture Notes in Computer Science(), vol 9621. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49381-6_36
Download citation
DOI: https://doi.org/10.1007/978-3-662-49381-6_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-49380-9
Online ISBN: 978-3-662-49381-6
eBook Packages: Computer ScienceComputer Science (R0)