{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:38:54Z","timestamp":1760236734870,"version":"build-2065373602"},"reference-count":83,"publisher":"MDPI AG","issue":"24","license":[{"start":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T00:00:00Z","timestamp":1639699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Minister of Science and Higher Education of the Republic of Poland","award":["PB22.EA.21.001"],"award-info":[{"award-number":["PB22.EA.21.001"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>Petri nets (PNs) have many advantages such as graphical representation, formal description, and the possibility of sequential and concurrent control. An important aspect of using PNs is hierarchical modeling, which may be provided in different ways. In this paper, a new concept and definition of the hierarchical structure for Fuzzy Interpreted Petri Net (FIPN) are proposed. The concept of macroplace with several input, output, and input-output places is introduced to the net. The functionality of the macroplace instances and the hierarchy graph are also proposed. They are implemented in a computer simulator called HFIPN-SML. In this study, FIPN is employed since it allows the use of analogue sensors directly for process control. Better visualization and more precise control are among advantages of the introduced approach.<\/jats:p>","DOI":"10.3390\/s21248433","type":"journal-article","created":{"date-parts":[[2021,12,20]],"date-time":"2021-12-20T02:40:32Z","timestamp":1639968032000},"page":"8433","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Extended Hierarchical Fuzzy Interpreted Petri Net"],"prefix":"10.3390","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8235-1132","authenticated-orcid":false,"given":"Micha\u0142","family":"Markiewicz","sequence":"first","affiliation":[{"name":"Department of Computer and Control Engineering, Faculty of Electrical and Computer Engineering, Rzesz\u00f3w University of Technology, W. Pola 2, 35-959 Rzesz\u00f3w, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1096-4252","authenticated-orcid":false,"given":"Les\u0142aw","family":"Gniewek","sequence":"additional","affiliation":[{"name":"Department of Computer and Control Engineering, Faculty of Electrical and Computer Engineering, Rzesz\u00f3w University of Technology, W. Pola 2, 35-959 Rzesz\u00f3w, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6495-9091","authenticated-orcid":false,"given":"Dawid","family":"Warcho\u0142","sequence":"additional","affiliation":[{"name":"Department of Computer and Control Engineering, Faculty of Electrical and Computer Engineering, Rzesz\u00f3w University of Technology, W. Pola 2, 35-959 Rzesz\u00f3w, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2021,12,17]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","article-title":"Analysis of Petri nets by stepwise refinements","volume":"18","author":"Valette","year":"1979","journal-title":"J. Comput. Syst. Sci."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0022-0000(83)90029-6","article-title":"A method for stepwise refinement and abstraction of Petri nets","volume":"27","author":"Suzuki","year":"1983","journal-title":"J. Comput. Syst. Sci."},{"key":"ref_3","unstructured":"Tinhofer, G., and Schmidt, G. (1986). Behaviour preserving refinements of Petri nets. Graph-Theoretic Concepts in Computer Science, Number 246 in Lecture Notes in Computer Science, Springer."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (1989). A survey of behaviour and equivalence preserving refinements of Petri nets. Advances in Petri Nets 1990, Lecture Notes in Computer Science; Springer.","DOI":"10.1007\/3-540-52494-0"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Bernardinello, L., and De Cindio, F. (1992). A survey of basic net models and modular net classes. Advances in Petri Nets 1992, Springer.","DOI":"10.1007\/3-540-55610-9_177"},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Van Der Aalst, W.M. (2000). Workflow verification: Finding control-flow errors using Petri-net-based techniques. Business Process Management, Springer.","DOI":"10.1007\/3-540-45594-9_11"},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Huang, H., Jiao, L., and Cheung, T.Y. (2012). Property-Preserving Petri Net Process Algebra in Software Engineering, World Scientific.","DOI":"10.1142\/9789814324298"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Van Glabbeek, R., and Goltz, U. (1989). Refinement of actions in causality based models. Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness, Springer.","DOI":"10.1007\/3-540-52559-9_68"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01178506","article-title":"Concurrent bisimulations in Petri nets","volume":"28","author":"Best","year":"1991","journal-title":"Acta Inform."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0304-3975(93)90157-O","article-title":"Bisimulation and action refinement","volume":"114","author":"Vogler","year":"1993","journal-title":"Theor. Comput. Sci."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s002360000041","article-title":"Refinement of actions and equivalence notions for concurrent systems","volume":"37","author":"Goltz","year":"2001","journal-title":"Acta Inform."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1080\/00207720701621959","article-title":"Refining and verifying regular Petri nets","volume":"39","author":"Jiao","year":"2008","journal-title":"Int. J. Syst. Sci."},{"key":"ref_13","unstructured":"Hack, M. (1972). Analysis of Production Schemata by Petri Nets. [Master\u2019s Thesis, Massachusetts Institute of Technology]."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1145\/361227.361234","article-title":"Reduction: A method of proving properties of parallel programs","volume":"18","author":"Lipton","year":"1975","journal-title":"Commun. ACM"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(77)90041-X","article-title":"On reduction of asynchronous systems","volume":"5","author":"Kwong","year":"1977","journal-title":"Theor. Comput. Sci."},{"key":"ref_16","unstructured":"Maurer, H.A. (1979). On reductions of parallel programs. Automata, Languages and Programming, Number 71 in Lecture Notes in Computer Science; Springer."},{"key":"ref_17","unstructured":"Berthelot, G. (1985). Checking properties of nets using transformations. European Workshop on Applications and Theory in Petri Nets, Springer."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Brauer, W., Reisig, W., and Rozenberg, G. (1987). Transformations and decompositions of nets. Petri Nets: Central Models and Their Properties, Number 254 in Lecture Notes in Computer Science; Springer.","DOI":"10.1007\/BFb0046832"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1109\/TSMC.1985.6313357","article-title":"Hierarchical reduction method for analysis and decomposition of Petri nets","volume":"SMC-15","author":"Lee","year":"1985","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1109\/TSMC.1987.4309041","article-title":"Generalized Petri net reduction method","volume":"17","author":"Lee","year":"1987","journal-title":"Syst. Man Cybern. IEEE Trans."},{"key":"ref_21","unstructured":"Desel, J. (1990). Reduction and design of well-behaved concurrent systems. CONCUR\u201990 Theories of Concurrency: Unification and Extension, Springer."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF01888220","article-title":"Partial order behaviour and structure of Petri nets","volume":"2","author":"Best","year":"1990","journal-title":"Form. Asp. Comput."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1006\/inco.1994.1080","article-title":"Reduction and synthesis of live and bounded free choice Petri nets","volume":"114","author":"Esparza","year":"1994","journal-title":"Inf. Comput."},{"key":"ref_24","unstructured":"Desel, J., and Esparza, J. (2005). Free Choice Petri Nets, Cambridge University Press."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Jiao, L., Cheung, T.Y., and Lu, W. (2002). Characterizing liveness of Petri nets in terms of siphons. International Conference on Application and Theory of Petri Nets, Springer.","DOI":"10.1007\/3-540-48068-4_13"},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0304-3975(03)00359-1","article-title":"On liveness and boundedness of asymmetric choice nets","volume":"311","author":"Jiao","year":"2004","journal-title":"Theor. Comput. Sci."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/BF03036471","article-title":"Reduction rules for time Petri nets","volume":"33","author":"Sloan","year":"1996","journal-title":"Acta Inform."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"562","DOI":"10.1109\/3477.865173","article-title":"Compositional time Petri nets and reduction rules","volume":"30","author":"Wang","year":"2000","journal-title":"IEEE Trans. Syst. Man Cybern. Part B"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1109\/32.922714","article-title":"Reduction methods for real-time systems using Delay Time Petri Nets","volume":"27","author":"Juan","year":"2001","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (1991). A concept of hierarchical Petri nets with building blocks. Advances in Petri Nets 1993, Number 674 in Lecture Notes in Computer Science; Springer.","DOI":"10.1007\/BFb0019965"},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Springer Science & Business Media.","DOI":"10.1007\/978-3-642-60794-3"},{"key":"ref_32","unstructured":"Holvoet, T., and Verbaeten, P. (1995, January 22\u201325). Petri charts: An alternative technique for hierarchical net construction. Proceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics, Intelligent Systems for the 21st Century, Vancouver, BC, Canada."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Billington, J., and Reisig, W. (1996). A formal definition of hierarchical predicate transition nets. Application and Theory of Petri Nets 1996, Number 1091 in Lecture Notes in Computer Science; Springer.","DOI":"10.1007\/3-540-61363-3"},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Andrzejewski, G. (2005). Hierarchical Petri nets for digital controller design. Design of Embedded Control Systems, Springer.","DOI":"10.1007\/0-387-28327-7_3"},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Pan, H., and Sun, J. (2007, January 2\u20135). Complex knowledge system modeling based on hierarchical fuzzy petri net. Proceedings of the 2007 IEEE\/WIC\/ACM International Conferences on Web Intelligence and Intelligent Agent Technology-Workshops, Fremont, CA, USA.","DOI":"10.1109\/WI-IATW.2007.43"},{"key":"ref_36","unstructured":"(2013). International Standard IEC 60848:2013: Grafcet Specification Language for Sequential Function Charts Approach, International Electrotechnical Commission. Technical Report."},{"key":"ref_37","unstructured":"(2013). International Standard IEC 61131-3: PROGRAMMABLE Controllers\u2014Part 3: Programming Languages, International Electrotechnical Commission. International Standard."},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"David, R., and Alla, H. (2010). Discrete, Continuous, and Hybrid Petri Nets, Springer.","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref_39","unstructured":"Silva, M., and Valette, R. (1988). Petri nets and flexible manufacturing. European Workshop on Applications and Theory in Petri Nets, Springer."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/21.47812","article-title":"On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets","volume":"20","author":"Valavanis","year":"1990","journal-title":"IEEE Trans. Syst. Man, Cybern."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/70.143353","article-title":"A hybrid methodology for synthesis of Petri net models for manufacturing systems","volume":"8","author":"Zhou","year":"1992","journal-title":"IEEE Trans. Robot. Autom."},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1109\/70.388774","article-title":"Synthesis using resource control nets for modeling shared-resource systems","volume":"11","author":"Jeng","year":"1995","journal-title":"IEEE Trans. Robot. Autom."},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1109\/66.705370","article-title":"Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach","volume":"11","author":"Zhou","year":"1998","journal-title":"IEEE Trans. Semicond. Manuf."},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"1360","DOI":"10.1109\/TSMC.2017.2703950","article-title":"Structural decomposition and decentralized control of Petri nets","volume":"48","author":"Ye","year":"2017","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/j.sysarc.2019.01.015","article-title":"Decomposition of distributed edge systems based on the Petri nets and linear algebra technique","volume":"96","author":"Karatkevich","year":"2019","journal-title":"J. Syst. Archit."},{"key":"ref_46","doi-asserted-by":"crossref","unstructured":"An, Y., Wu, N., Zhao, X., Li, X., and Chen, P. (2018). Hierarchical colored petri nets for modeling and analysis of transit signal priority control systems. Appl. Sci., 8.","DOI":"10.3390\/app8010141"},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"Sicchar, J.R., Da Costa, C.T., Silva, J.R., Oliveira, R.C., and Oliveira, W.D. (2018). A load-balance system design of microgrid cluster based on hierarchical petri nets. Energies, 11.","DOI":"10.3390\/en11123245"},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Gozhyj, A., Kalinina, I., Gozhyj, V., and Vysotska, V. (2019, January 18\u201321). Web service interaction modeling with colored petri nets. Proceedings of the 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Metz, France.","DOI":"10.1109\/IDAACS.2019.8924400"},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"103953","DOI":"10.1016\/j.jlp.2019.103953","article-title":"A novel layered fuzzy Petri nets modelling and reasoning method for process equipment failure risk assessment","volume":"62","author":"Li","year":"2019","journal-title":"J. Loss Prev. Process Ind."},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"106870","DOI":"10.1016\/j.epsr.2020.106870","article-title":"Fault diagnosis method of distribution network based on time sequence hierarchical fuzzy petri nets","volume":"191","author":"Yuan","year":"2021","journal-title":"Electr. Power Syst. Res."},{"key":"ref_51","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10916-016-0664-5","article-title":"Runtime verification of pacemaker functionality using hierarchical fuzzy colored Petri-Nets","volume":"41","author":"Majma","year":"2017","journal-title":"J. Med. Syst."},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Padberg, J. (2018). Subtyping for hierarchical, reconfigurable Petri nets. arXiv.","DOI":"10.1007\/978-3-319-75396-6_11"},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Figat, M., and Zieli\u0144ski, C. (June, January 31). Methodology of designing multi-agent robot control systems utilising hierarchical petri nets. Proceedings of the 2019 International Conference on Robotics and Automation (ICRA), Paris, France.","DOI":"10.1109\/ICRA.2019.8794201"},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/j.engappai.2019.02.019","article-title":"A new hierarchical approach to requirement analysis of problems in automated planning","volume":"81","author":"Silva","year":"2019","journal-title":"Eng. Appl. Artif. Intell."},{"key":"ref_55","doi-asserted-by":"crossref","unstructured":"Wisniewski, R., Grobelna, I., and Karatkevich, A. (2020). Determinism in cyber-physical systems specified by interpreted petri nets. Sensors, 20.","DOI":"10.3390\/s20195565"},{"key":"ref_56","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, J., S\u00e1nchez-Vilari\u00f1o, P., Sanz, R., and Paz, E. (2020). Implementing autonomous driving behaviors using a message driven petri net framework. Sensors, 20.","DOI":"10.3390\/s20020449"},{"key":"ref_57","unstructured":"Proth, J.M., and Xie, X. (1996). Petri Nets: A Tool for Design and Management of Manufacturing Systems, John Wiley & Sons."},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/s00170-002-1526-5","article-title":"The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems","volume":"23","author":"Uzam","year":"2004","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"ref_59","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1109\/TSMCA.2012.2202107","article-title":"Sequential control algorithm in the form of fuzzy interpreted Petri net","volume":"43","author":"Gniewek","year":"2013","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"1272","DOI":"10.1109\/TSMC.2014.2298379","article-title":"Coverability graph of fuzzy interpreted Petri net","volume":"44","author":"Gniewek","year":"2014","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"ref_61","doi-asserted-by":"crossref","unstructured":"Markiewicz, M., Surdej, \u0141., and Gniewek, L. (September, January 29). Transformation of a fuzzy interpreted Petri net diagram into structured text code. Proceedings of the 2016 21st International Conference on Methods and Models in Automation and Robotics (MMAR), Miedzyzdroje, Poland.","DOI":"10.1109\/MMAR.2016.7575114"},{"key":"ref_62","doi-asserted-by":"crossref","unstructured":"Markiewicz, M., and Gniewek, L. (2017). A program model of fuzzy interpreted Petri net to control discrete event systems. Appl. Sci., 7.","DOI":"10.3390\/app7040422"},{"key":"ref_63","doi-asserted-by":"crossref","first-page":"61442","DOI":"10.1109\/ACCESS.2020.2983276","article-title":"FPGA implementation of fuzzy interpreted Petri net","volume":"8","author":"Hajduk","year":"2020","journal-title":"IEEE Access"},{"key":"ref_64","first-page":"151","article-title":"Conception of hierarchical fuzzy interpreted Petri net","volume":"26","author":"Markiewicz","year":"2017","journal-title":"Stud. Inf. Control"},{"key":"ref_65","doi-asserted-by":"crossref","unstructured":"Frey, G. (2000, January 28\u201330). Automatic implementation of Petri net based control algorithms on PLC. Proceedings of the 2000 American Control Conference, ACC (IEEE Cat. No. 00CH36334), Chicago, IL, USA.","DOI":"10.1109\/ACC.2000.878725"},{"key":"ref_66","doi-asserted-by":"crossref","unstructured":"Minas, M., and Frey, G. (2002, January 8\u201310). Visual PLC-programming using signal interpreted Petri nets. Proceedings of the 2002 American Control Conference, Anchorage, USA.","DOI":"10.1109\/ACC.2002.1025461"},{"key":"ref_67","doi-asserted-by":"crossref","unstructured":"Klein, S., Frey, G., and Minas, M. (2003). PLC programming with signal interpreted Petri nets. International Conference on Application and Theory of Petri Nets, Springer.","DOI":"10.1007\/3-540-44919-1_27"},{"key":"ref_68","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S1474-6670(17)36458-3","article-title":"Hierarchical design of logic controllers using signal interpreted Petri nets","volume":"36","author":"Frey","year":"2003","journal-title":"IFAC Proc. Vol."},{"key":"ref_69","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1109\/3477.650056","article-title":"Fuzzy Petri net-based programmable logic controller","volume":"27","author":"Andreu","year":"1997","journal-title":"IEEE Trans. Syst. Man Cybern. Part B"},{"key":"ref_70","doi-asserted-by":"crossref","first-page":"1315","DOI":"10.1109\/TSMCB.2003.822956","article-title":"Hardware implementation of fuzzy Petri net as a controller","volume":"34","author":"Gniewek","year":"2004","journal-title":"IEEE Trans. Syst. Man Cybern. Part B"},{"key":"ref_71","first-page":"1","article-title":"Fuzzy Petri net algorithm for flexible manufacturing systems","volume":"6","author":"Venkateswaran","year":"2006","journal-title":"ACSE J."},{"key":"ref_72","doi-asserted-by":"crossref","unstructured":"Bauer, N., Engell, S., Huuck, R., Lohmann, S., Lukoschus, B., Remelhe, M., and Stursberg, O. (2004). Verification of PLC programs given as sequential function charts. Integration of Software Specification Techniques for Applications in Engineering, Springer.","DOI":"10.1007\/978-3-540-27863-4_28"},{"key":"ref_73","unstructured":"Roussel, J.M., and Lesage, J.J. Validation and verification of Grafcets using state machine. IMACS-IEEE \u201cCESA\u201996\u201d July, Lille, 1996."},{"key":"ref_74","doi-asserted-by":"crossref","unstructured":"Provost, J., Roussel, J.M., and Faure, J.M. (2011, January 24\u201327). A formal semantics for Grafcet specifications. Proceedings of the 2011 IEEE International Conference on Automation Science and Engineering, Trieste, Italy.","DOI":"10.1109\/CASE.2011.6042457"},{"key":"ref_75","unstructured":"Remelhe, M., Lohmann, S., Stursberg, O., Engell, S., and Bauer, N. (May, January 26). Algorithmic verification of logic controllers given as sequential function charts. Proceedings of the 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No. 04CH37508), New Orleans, LA, USA."},{"key":"ref_76","doi-asserted-by":"crossref","unstructured":"Lohmann, S., Stursberg, O., and Engell, S. (2007, January 9\u201313). Comparison of event-triggered and cycle-driven models for verifying SFC programs. Proceedings of the 2007 American Control Conference, New York, NY, USA.","DOI":"10.1109\/ACC.2007.4282937"},{"key":"ref_77","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0304-3975(00)00301-7","article-title":"Proving sequential function chart programs using timed automata","volume":"267","year":"2001","journal-title":"Theor. Comput. Sci."},{"key":"ref_78","unstructured":"Stursberg, O., and Lohmann, S. (2005, January 15\u201325). Analysis of logic controllers by transformation of SFC into timed automata. Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain."},{"key":"ref_79","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1109\/TCST.2010.2047106","article-title":"Formal modeling of sequential function charts with time Petri nets","volume":"19","author":"Wightkin","year":"2010","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"ref_80","doi-asserted-by":"crossref","first-page":"1978","DOI":"10.1109\/TCST.2015.2388491","article-title":"Formal modeling of Grafcets with time Petri nets","volume":"23","author":"Sogbohossou","year":"2015","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"ref_81","unstructured":"Peng, S., and Zhou, M. (2003, January 5\u20138). Design and analysis of sequential function charts using sensor-based stage Petri nets. Proceedings of the SMC\u201903 Conference Proceedings, 2003 IEEE International Conference on Systems, Man and Cybernetics, Conference Theme-System Security and Assurance (Cat. No. 03CH37483), Washington, DC, USA."},{"key":"ref_82","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/S0098-1354(00)00484-1","article-title":"Design and verification of the SFC program for sequential control","volume":"24","author":"Fujino","year":"2000","journal-title":"Comput. Chem. Eng."},{"key":"ref_83","doi-asserted-by":"crossref","unstructured":"Schumacher, F., and Fay, A. (2013, January 25\u201328). Transforming time constraints of a Grafcet graph into a suitable Petri net formalism. Proceedings of the 2013 IEEE International Conference on Industrial Technology (ICIT), Cape Town, South Africa.","DOI":"10.1109\/ICIT.2013.6505674"}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/21\/24\/8433\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T07:50:44Z","timestamp":1760169044000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/21\/24\/8433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,17]]},"references-count":83,"journal-issue":{"issue":"24","published-online":{"date-parts":[[2021,12]]}},"alternative-id":["s21248433"],"URL":"https:\/\/doi.org\/10.3390\/s21248433","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2021,12,17]]}}}