Abstract
The modeling of controllers for discrete-event systems commonly uses state-based formalisms, such as state diagrams and Petri nets. These modeling formalisms heavily rely on the concept of events. From an automation system perspective, events can be characterized as changes on a signal or other variable. Several types of events can be defined, considering different types of signals, including Boolean and multi-valued signals, as well as different types of dependencies in terms of the evolution of the signals. For the presented work, the model of the controller is produced using IOPT nets, a non-autonomous Petri nets class. In this paper, a set of translation rules for several types of events is proposed allowing the generation of behaviorally equivalent IOPT Petri net models, which will be executed concurrently with the main model constrained by the translated events. An example is presented to illustrate the benefits associated with the usage of the proposed translation rules. We conclude by identifying some future work, namely their integration with the IOPT-Tools framework, which is freely available to use.
This work was financed by Portuguese Agency FCT - Fundação para a Ciência e Tecnologia, in the framework of project UIDB/00066/2020.
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
Petri, C.A.: Kommunikation mit Automaten. Ph.D. thesis, Universität Hamburg (1962)
Desel, J., Juhás, G.: What Is a Petri Net? Informal Answers for the Informed Reader. In: Ehrig, H., Padberg, J., Juhás, G., Rozenberg, G. (eds.) Unifying Petri Nets. LNCS, vol. 2128, pp. 1–25. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45541-8_1
Silva, M.: Las Redes de Petri: en la Automática y la Informática. Editorial AC Madrid, Madrid (1985)
Gomes, L., Steiger-Garção, A.: Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning. In: 16th International Conference on Application and Theory of Petri Nets (ICATPN 1995), Torino, Italy (1995)
Holloway, L.E., Krogh, B.H., Giua, A.: A survey of petri net methods for controlled discrete event systems. Disc. Event Dyn. Syst. 7, 151–190 (1997)
David, R., Alla, H.: Petri Nets & Grafcet. Tools for Modelling Discrete Event Systems, Prentice Hall International (UK) Ltd. (1992)
Hanisch, H.M., Lüder, A.: A signal extension for petri nets and its use in controller design. Fundam. Inform. 41(4), 415–431 (2000)
David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets, 2nd edn. Springer Publishing Company, Inc., Heidelberg (2010). https://doi.org/10.1007/978-3-642-10669-9
Venkatesh, K., Zhou, M., Caudill, R.J.: Comparing ladder logic diagrams and petri nets for sequence controller design through a discrete manufacturing system. IEEE Trans. Indust. Electron. 41(6), 611–619 (1994)
Grobelna, I., Adamski, M.: Model checking of control interpreted petri nets. In: Proceedings of the 18th International Conference Mixed Design of Integrated Circuits and Systems - MIXDES 2011, pp. 621–626 (2011)
Moreira, M., Botelho, D., Basilio, J.: Ladder diagram implementation of control interpreted petri nets: a state equation approach. In: Proceedings of the 4th IFAC Workshop on Discrete-Event System Design 2009 (2009)
Gomes, L., Barros, J.P., Costa, A., Nunes, R.: The input-output place-transition petri net class and associated tools. In: 2007 5th IEEE International Conference on Industrial Informatics, vol. 1, pp. 509–514, June 2007
Gomes, L., Moutinho, F., Pereira, F., Ribeiro, J., Costa, A., Barros, J.P.: Extending input-output place-transition petri nets for distributed controller systems development. In: ICMC 2014 - International Conference on Mechatronics and Control, pp. 1099–1104 (2014)
Gomes, L., Barros, J.P.: Refining IOPT Petri nets class for embedded system controller modeling. In: IECON 2018–44th Annual Conference of the IEEE Industrial Electronics Society, pp. 4720–4725 (2018)
Gomes, L., Moutinho, F., Pereira, F.: IOPT-tools - a web based tool framework for embedded systems controller development using Petri nets. In: 2013 23rd International Conference on Field programmable Logic and Applications, September 2013
Pereira, F., Moutinho, F., Gomes, L.: IOPT-tools - towards cloud design automation of digital controllers with Petri nets. In: ICMC 2014 - International Conference on Mechatronics and Control (2014)
Reisig, W.: Petri Nets: An Introduction. Springer-Verlag, New York (1985). https://doi.org/10.1007/978-3-642-69968-9
Campos-Rebelo, R., Costa, A., Gomes, L.: On structuring events for IOPT net models. In: Camarinha-Matos, L.M., Tomic, S., Graça, P. (eds.) DoCEIS 2013. IAICT, vol. 394, pp. 229–238. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-37291-9_25
Campos-Rebelo, R., Costa, A., Gomes, L.: Graphical formalism for signal interpretation modeling. In: Kovács, L., Haidegger, T., Szakál, A. (eds.) Recent Advances in Intelligent Engineering. TIEI, vol. 14, pp. 139–154. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-14350-3_8
Acknowledgements
The authors thank the anonymous reviewers whose comments helped to improve the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Gomes, L., Campos-Rebelo, R., Costa, A., Barros, JP. (2022). Input Event Modeling for Discrete-Event Controllers: A Petri Net Approach. In: Brito Palma, L., Neves-Silva, R., Gomes, L. (eds) CONTROLO 2022. CONTROLO 2022. Lecture Notes in Electrical Engineering, vol 930. Springer, Cham. https://doi.org/10.1007/978-3-031-10047-5_44
Download citation
DOI: https://doi.org/10.1007/978-3-031-10047-5_44
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-10046-8
Online ISBN: 978-3-031-10047-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)