TY - GEN
T1 - Using Petri Nets for Digital Twins Modeling and Deployment
T2 - 45th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2024
AU - Lagartinho-Oliveira, Carolina
AU - Moutinho, Filipe
AU - Gomes, Luís
N1 - Funding Information:
This work was financed by the Portuguese Agency FCT (Fundação para a Ciência e Tecnologia), in the framework of project UIDB/00066/2020, and under the PhD scholarship 2020.08462.BD.
Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
PY - 2024
Y1 - 2024
N2 - Ideally, safety-critical systems should be designed to avoid or be resilient in handling failures that may occur during their lifetime. For dependability purposes, IEC 62551 provides guidance on using the Petri net formalism for modeling and analysis of systems. Another concept that has been considered to ensure the reliability of systems and contribute to their overall safety is the digital twin (DT). A DT is a virtual counterpart that is seamlessly linked to a physical asset, both relying on data exchange for mirroring each other. DT has been used for the tracking, management, maintenance, and optimization of different systems. In some implementations, the DT emphasizes only the geometric models and their animation. To fully benefit from their usage, considering associated behavioral models is of paramount importance to allow full validation of the system. This paper proposes the application of Input-Output Place-Transition Petri Nets (IOPT-nets) to model and deploy both the physical and the virtual entities of the DT, contributing to a comprehensive use of Petri nets in the development of systems. The case study presented concerns the development of digital twins for power wheelchair systems using the IOPT-Tools framework to specify, validate, and implement it.
AB - Ideally, safety-critical systems should be designed to avoid or be resilient in handling failures that may occur during their lifetime. For dependability purposes, IEC 62551 provides guidance on using the Petri net formalism for modeling and analysis of systems. Another concept that has been considered to ensure the reliability of systems and contribute to their overall safety is the digital twin (DT). A DT is a virtual counterpart that is seamlessly linked to a physical asset, both relying on data exchange for mirroring each other. DT has been used for the tracking, management, maintenance, and optimization of different systems. In some implementations, the DT emphasizes only the geometric models and their animation. To fully benefit from their usage, considering associated behavioral models is of paramount importance to allow full validation of the system. This paper proposes the application of Input-Output Place-Transition Petri Nets (IOPT-nets) to model and deploy both the physical and the virtual entities of the DT, contributing to a comprehensive use of Petri nets in the development of systems. The case study presented concerns the development of digital twins for power wheelchair systems using the IOPT-Tools framework to specify, validate, and implement it.
KW - Digital Twin
KW - Petri Net
KW - Real-Time Information
KW - Reliability Analysis
KW - Remote Monitoring and Control
UR - http://www.scopus.com/inward/record.url?scp=85197269362&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-61433-0_20
DO - 10.1007/978-3-031-61433-0_20
M3 - Conference contribution
AN - SCOPUS:85197269362
SN - 978-3-031-61432-3
T3 - Lecture Notes in Computer Science
SP - 413
EP - 431
BT - Application and Theory of Petri Nets and Concurrency
A2 - Kristensen, Lars Michael
A2 - van der Werf, Jan Martijn
PB - Springer
CY - Cham
Y2 - 26 June 2024 through 28 June 2024
ER -