Abstract
This paper presents a proposal for structuring events for system models expressed using IOPT nets (Input-Output Place-Transition Petri nets). Currently, a non-autonomous event within an IOPT model is defined based on change of input signals with respect to a specific threshold, when two consecutive execution steps are considered. New types of events are proposed allowing the definition of an event activated not only by crossing a fixed threshold, but also considering a change in associated signal value on a specific amount (belonging to an interval of values). The concept is further extended allowing the definition of an event based on signal values presented on previous execution steps. The proposal results on a classification of several types of events, namely threshold events, momentum events, impetus events, as well as delayed events and logical events. Usage of these types of events allows improvements in terms of expressiveness and compactness of the resulted model.
Chapter PDF
Similar content being viewed by others
References
Petri, C.A.: Kommunikation mit Automaten. Technische Hochschule, Darmstadt (1962)
Peterson, J.L.: Petri Nets. ACM Comput. Surv. 9(3), 223–252 (1977)
Zurawski, R., MengChu, Z.: Petri nets and industrial applications: A tutorial. IEEE Transactions on Industrial Electronics 41(6), 567–583 (1994)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Gomes, L., Barros, J.P., Costa, A.: Modeling Formalisms for Embedded Systems Design. In: Zurawski, R. (ed.) Embedded Systems Handbook, ch. 5, pp. 5–1, 5–34. CRC (2005) ISBN 0849328241
Ramirez-Trevino, A., Rivera-Rangel, I., Lopez-Mellado, E.: Observability of discrete event systems modeled by interpreted Petri nets. IEEE Transactions on Robotics and Automation 19(4), 557–565 (2003)
Giua, A., Di Cesare, F.: Easy synchronized Petri nets as discrete event models. In: Proceedings of the 29th IEEE Conference on Decision and Control (1990)
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 (2007)
David, R., Alla, H.: Petri Nets and Grafcet: Tools for Modeling Discrete Event Systems. Prentice Hall (1992)
Gomes, L., Barros, J.P.: On structuring mechanisms for Petri nets based system design. In: Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2003 (2003)
Jensen, K.: A brief introduction to coloured Petri Nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 203–208. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Campos-Rebelo, R., Costa, A., Gomes, L. (2013). On Structuring Events for IOPT Net Models. In: Camarinha-Matos, L.M., Tomic, S., Graça, P. (eds) Technological Innovation for the Internet of Things. DoCEIS 2013. IFIP Advances in Information and Communication Technology, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37291-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-37291-9_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37290-2
Online ISBN: 978-3-642-37291-9
eBook Packages: Computer ScienceComputer Science (R0)