Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN)
Many distributed frameworks use a message-oriented middleware to interchange information among several independent distributed modules. Those modules make up complex systems implementing basic actions and reporting events about their state. This paper introduces the Message Interpreted Petri Net (MI...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2022-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/9789192/ |
| _version_ | 1818545562588282880 |
|---|---|
| author | Joaquin Lopez Alejandro Santana-Alonso Diego Perez Losada |
| author_facet | Joaquin Lopez Alejandro Santana-Alonso Diego Perez Losada |
| author_sort | Joaquin Lopez |
| collection | DOAJ |
| description | Many distributed frameworks use a message-oriented middleware to interchange information among several independent distributed modules. Those modules make up complex systems implementing basic actions and reporting events about their state. This paper introduces the Message Interpreted Petri Net (MIPN) model to design, analyze, and execute the central control of these middleware systems. The MIPN is a new Petri net extension that adds message-based high-level information communications and hierarchic capabilities. It also contributes to the definition and study of new properties such as terminability for the hierarchy-wide analysis of a system. Special attention is given to the analyzability of the model. Useful relations between the individual properties of each MIPN and the global properties of a hierarchic MIPNs system are extracted through a mathematical analysis of the model. The goal is to analyze each net separately and then build up the properties of the whole system. This results in a great aid for the programmer and optimizes the development process. This paper also shows the actual integration of this new MIPN model in different robot control frameworks to design, analyze, execute, monitor, log, and debug tasks in such heterogeneous systems. Finally, some applications created with this framework in the fields of robotics, autonomous vehicles, and logistics are also presented. |
| first_indexed | 2024-12-12T07:41:45Z |
| format | Article |
| id | doaj.art-ea6101a4197644b8949204c8f646ba69 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-12T07:41:45Z |
| publishDate | 2022-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-ea6101a4197644b8949204c8f646ba692022-12-22T00:32:46ZengIEEEIEEE Access2169-35362022-01-0110602136022910.1109/ACCESS.2022.31805479789192Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN)Joaquin Lopez0https://orcid.org/0000-0001-9151-4346Alejandro Santana-Alonso1https://orcid.org/0000-0003-4202-0627Diego Perez Losada2https://orcid.org/0000-0003-1249-4039System Engineering and Automation Department, EEI, University of Vigo, Vigo, SpainSystem Engineering and Automation Department, EEI, University of Vigo, Vigo, SpainRobotics and Control Unit, AIMEN Technology Centre, O Porriño, SpainMany distributed frameworks use a message-oriented middleware to interchange information among several independent distributed modules. Those modules make up complex systems implementing basic actions and reporting events about their state. This paper introduces the Message Interpreted Petri Net (MIPN) model to design, analyze, and execute the central control of these middleware systems. The MIPN is a new Petri net extension that adds message-based high-level information communications and hierarchic capabilities. It also contributes to the definition and study of new properties such as terminability for the hierarchy-wide analysis of a system. Special attention is given to the analyzability of the model. Useful relations between the individual properties of each MIPN and the global properties of a hierarchic MIPNs system are extracted through a mathematical analysis of the model. The goal is to analyze each net separately and then build up the properties of the whole system. This results in a great aid for the programmer and optimizes the development process. This paper also shows the actual integration of this new MIPN model in different robot control frameworks to design, analyze, execute, monitor, log, and debug tasks in such heterogeneous systems. Finally, some applications created with this framework in the fields of robotics, autonomous vehicles, and logistics are also presented.https://ieeexplore.ieee.org/document/9789192/Middleware control systemspetri netsroboticsdistributed control systemsinter-process communication systems |
| spellingShingle | Joaquin Lopez Alejandro Santana-Alonso Diego Perez Losada Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN) IEEE Access Middleware control systems petri nets robotics distributed control systems inter-process communication systems |
| title | Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN) |
| title_full | Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN) |
| title_fullStr | Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN) |
| title_full_unstemmed | Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN) |
| title_short | Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN) |
| title_sort | middleware control systems design and analysis using message interpreted petri nets mipn |
| topic | Middleware control systems petri nets robotics distributed control systems inter-process communication systems |
| url | https://ieeexplore.ieee.org/document/9789192/ |
| work_keys_str_mv | AT joaquinlopez middlewarecontrolsystemsdesignandanalysisusingmessageinterpretedpetrinetsmipn AT alejandrosantanaalonso middlewarecontrolsystemsdesignandanalysisusingmessageinterpretedpetrinetsmipn AT diegoperezlosada middlewarecontrolsystemsdesignandanalysisusingmessageinterpretedpetrinetsmipn |