{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T01:11:57Z","timestamp":1760145117867,"version":"build-2065373602"},"reference-count":26,"publisher":"MDPI AG","issue":"12","license":[{"start":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T00:00:00Z","timestamp":1718755200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Portuguese Agency \u201cFunda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia\u201d (FCT)","doi-asserted-by":"publisher","award":["UIDB\/00066\/2020","UIDP\/00066\/2020"],"award-info":[{"award-number":["UIDB\/00066\/2020","UIDP\/00066\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Sciences"],"abstract":"<jats:p>Controllers for discrete-event systems are commonly designed using state-based formalisms, like state diagrams and Petri nets. These formalisms are strongly supported by the concept of events, which, from an automation system perspective, can be associated with a simple change in the value of a signal or more complex behavioral evolutions of the signals. In this paper, the characterization of several types of events is proposed, associated with different types of signals, such as Boolean and multivalued signals. The major goal of this characterization is to improve the compactness of the model, benefiting the editing and visual interpretation of the graphical model but keeping precise execution semantics, which in turn allows for the use of computational tools covering the different stages of system development. The behavioral model of the controller is produced using a non-autonomous class of Petri nets, the IOPT nets, and the associated IOPT-Tools, which supports the specification, simulation, property verification, and automatic code generation ready to be deployed into implementation platforms. All the types of proposed events have a behavioral sub-model executed concurrently with the main model of the controller. An application example is provided to illustrate some of the advantages of the adoption of the proposed approach, encapsulating the behavioral dependencies on the evolution of input signals into events.<\/jats:p>","DOI":"10.3390\/app14125289","type":"journal-article","created":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T11:47:17Z","timestamp":1718797637000},"page":"5289","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers"],"prefix":"10.3390","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4299-8270","authenticated-orcid":false,"given":"Luis","family":"Gomes","sequence":"first","affiliation":[{"name":"School of Science and Technology, NOVA University Lisbon, 2829-516 Caparica, Portugal"},{"name":"Center of Technology and Systems, UNINOVA, 2829-516 Caparica, Portugal"},{"name":"Intelligent Systems Associate Laboratory (LASI), 4800-058 Guimar\u00e3es, Portugal"}]},{"given":"Diogo","family":"Nat\u00e1rio","sequence":"additional","affiliation":[{"name":"School of Science and Technology, NOVA University Lisbon, 2829-516 Caparica, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8147-028X","authenticated-orcid":false,"given":"Anik\u00f3","family":"Costa","sequence":"additional","affiliation":[{"name":"School of Science and Technology, NOVA University Lisbon, 2829-516 Caparica, Portugal"},{"name":"Center of Technology and Systems, UNINOVA, 2829-516 Caparica, Portugal"},{"name":"Intelligent Systems Associate Laboratory (LASI), 4800-058 Guimar\u00e3es, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0097-9883","authenticated-orcid":false,"given":"Jo\u00e3o-Paulo","family":"Barros","sequence":"additional","affiliation":[{"name":"Center of Technology and Systems, UNINOVA, 2829-516 Caparica, Portugal"},{"name":"Intelligent Systems Associate Laboratory (LASI), 4800-058 Guimar\u00e3es, Portugal"},{"name":"Instituto Polit\u00e9cnico de Beja, 7800-295 Beja, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7177-7966","authenticated-orcid":false,"given":"Rog\u00e9rio","family":"Campos-Rebelo","sequence":"additional","affiliation":[{"name":"Center of Technology and Systems, UNINOVA, 2829-516 Caparica, Portugal"},{"name":"Intelligent Systems Associate Laboratory (LASI), 4800-058 Guimar\u00e3es, Portugal"},{"name":"Instituto Polit\u00e9cnico de Beja, 7800-295 Beja, Portugal"}]}],"member":"1968","published-online":{"date-parts":[[2024,6,19]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J.P., Costa, A., and Nunes, R. (2007, January 23\u201327). The Input-Output Place-Transition Petri Net Class and Associated Tools. Proceedings of the 2007 5th IEEE International Conference on Industrial Informatics, Vienna, Austria.","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Gomes, L., Moutinho, F., Pereira, F., Ribeiro, J., Costa, A., and Barros, J.P. (2014, January 3\u20135). Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development. Proceedings of the ICMC 2014\u2014International Conference on Mechatronics and Control, Jinzhou, China.","DOI":"10.1109\/ICMC.2014.7231723"},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Gomes, L., and Barros, J.P. (2018, January 21\u201323). Refining IOPT Petri Nets Class for Embedded System Controller Modeling. Proceedings of the IECON 2018\u201444th Annual Conference of the IEEE Industrial Electronics Society, Washington, DC, USA.","DOI":"10.1109\/IECON.2018.8592921"},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Gomes, L., Moutinho, F., and Pereira, F. (2013, January 2\u20134). IOPT-tools\u2014A Web based tool framework for embedded systems controller development using Petri nets. Proceedings of the 2013 23rd International Conference on Field Programmable Logic and Applications, Porto, Portugal.","DOI":"10.1109\/FPL.2013.6645633"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Pereira, F., Moutinho, F., and Gomes, L. (2014, January 29\u201331). IOPT-Tools\u2014Towards cloud design automation of digital controllers with Petri nets. Proceedings of the ICMC\u20192014\u2014International Conference on Mechatronics and Control, Shenyang, China.","DOI":"10.1109\/ICMC.2014.7232002"},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Pereira, F., Moutinho, F., Costa, A., Barros, J.P., Campos-Rebelo, R., and Gomes, L. (2022, January 19\u201324). IOPT-Tools\u2014From Executable Models to Automatic Code Generation for Embedded Controllers Development. Proceedings of the PETRI NETS 2022: Application and Theory of Petri Nets and Concurrency, Bergen, Norway.","DOI":"10.1007\/978-3-031-06653-5_7"},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Kov\u00e1cs, L., Haidegger, T., and Szak\u00e1l, A. (2020). Graphical Formalism for Signal Interpretation Modeling. Recent Advances in Intelligent Engineering: Volume Dedicated to Imre J. Rudas\u2019 Seventieth Birthday, Springer International Publishing.","DOI":"10.1007\/978-3-030-14350-3"},{"key":"ref_8","unstructured":"Luckham, D. (2002). The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, ADDISON WESLEY Publishing Company Incorporated."},{"key":"ref_9","unstructured":"Berry, G., and Cosserat, L. (1984, January 9\u201311). The ESTEREL Synchronous Programming Language and Its Mathematical Semantics. Proceedings of the LNCS 197, Pittsburgh, PA, USA."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comp. Programm."},{"key":"ref_11","unstructured":"Girault, C., and Valk, R. (2001). Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications, Springer."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Gomes, L., Campos-Rebelo, R., Costa, A., and Barros, J.P. (2022, January 26\u201330). Input Event Modeling for Discrete-Event Controllers: A Petri Net Approach. Proceedings of the CONTROLO\u20192022\u201415th APCA International Conference on Automatic Control and Soft Computing, Lisbon, Portugal.","DOI":"10.1007\/978-3-031-10047-5_44"},{"key":"ref_13","unstructured":"Petri, C.A. (1962). Kommunikation mit Automaten. [Ph.D. Thesis, Universit\u00e4t Hamburg]."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45541-8_1","article-title":"\u201cWhat Is a Petri Net?\u201d","volume":"Volume 2128","author":"Ehrig","year":"2001","journal-title":"Unifying Petri Nets, Advances in Petri Nets"},{"key":"ref_15","unstructured":"Silva, M. (1985). Las Redes de Petri: En la Autom\u00e1tica y la Inform\u00e1tica, Editorial AC Madrid."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Gomes, L., and Steiger-Gar\u00e7\u00e3o, A. (1995, January 26\u201330). Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning. Proceedings of the 16th International Conference on Application and Theory of Petri Nets (ICATPN\u201995), Torino, Italy.","DOI":"10.1007\/3-540-60029-9_42"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","article-title":"A Survey of Petri Net Methods for Controlled Discrete Event Systems","volume":"7","author":"Holloway","year":"1997","journal-title":"Discrete Event Dyn. Syst."},{"key":"ref_18","unstructured":"David, R., and Alla, H. (1992). Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems, Prentice Hall International (UK) Ltd."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","article-title":"A Signal Extension for Petri Nets and its Use in Controller Design","volume":"41","author":"Hanisch","year":"2000","journal-title":"Fundamenta Inf."},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"David, R., and Alla, H. (2010). Discrete, Continuous, and Hybrid Petri Nets, Springer. [2nd ed.].","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1109\/41.334578","article-title":"Comparing Ladder Logic Diagrams and Petri Nets for Sequence Controller Design through a Discrete Manufacturing System","volume":"41","author":"Venkatesh","year":"1994","journal-title":"IEEE Trans. Ind. Electr."},{"key":"ref_22","unstructured":"Grobelna, I., and Adamski, M. (2011, January 16\u201318). Model checking of Control Interpreted Petri Nets. Proceedings of the 18th International Conference Mixed Design of Integrated Circuits and Systems\u2014MIXDES 2011, Gliwice, Poland."},{"key":"ref_23","unstructured":"Moreira, M., Botelho, D., and Basilio, J. (2009, January 6\u20138). Ladder diagram implementation of Control Interpreted Petri Nets: A state equation approach. Proceedings of the 4th IFAC Workshop on Discrete-Event System Design, Valencia, Spain."},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Reisig, W. (1985). Petri Nets: An Introduction, Springer.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref_25","unstructured":"Camarinha-Matos, L.M., Tomic, S., and Gra\u00e7a, P. (2013). On Structuring Events for IOPT Net Models. Technological Innovation for the Internet of Things, Springer."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri Nets: Properties, Analysis and Applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"}],"container-title":["Applied Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2076-3417\/14\/12\/5289\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T15:00:59Z","timestamp":1760108459000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2076-3417\/14\/12\/5289"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,19]]},"references-count":26,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2024,6]]}},"alternative-id":["app14125289"],"URL":"https:\/\/doi.org\/10.3390\/app14125289","relation":{},"ISSN":["2076-3417"],"issn-type":[{"type":"electronic","value":"2076-3417"}],"subject":[],"published":{"date-parts":[[2024,6,19]]}}}