Towards an agile distributed management system based on Petri Nets
Tavares, J. Jean-Paul; Silva, J.R.
- Journal
- Algorithms and Theories for the Analysis of Event Data and Petri Nets for Twin Transitions
- Autor
- Tavares, J. Jean-Paul; Silva, J.R.
- Book Title
- Volume
- 3424
- Página(s)
- DOI
- Published
- 2023
- Month
- June
- Tipo de Documento
- Conference Proceedings
- Abstract
- The post-pandemic society demands interactive structures requiring autonomous logistics and manufacturing systems that could be monitored and changed during distributed implementation. Different methods have been used to model requirements satisfying all the target system’s demands while providing the best matching to an implementable framework. Two aspects are detached: i) the need to formalize requirements so that the interactive process (systems/user) could be modeled and verified during the requirements phase; ii) an implementable framework that fits the interactive model, adherent to the requirement formalization: a distributed discrete system. The application is directed at fitting logistics and manufacturing process requirements in a digital factory approach with many distributed physical sites and low connections. The development of a Petri Nets Management System (PNMS) can integrate artifacts inside the logistic by using Radio Frequency Identification - RFID - readers along these different sites, exchanging and storing Petri Net information inside a RFID tag, and using Petri Net inside RFID Database (PNRD) and/or inverse PNRD (iPNRD) as a contingent system. This paper presents the proposal of a PNMS with two distinct modes: Setup, which deals with a Petri Net Modeling Tools interface - based on PNML (Petri Net Markup Language), and a RFID interface; and Runtime, standing for real-time activities management and monitoring. Thus, the PNMS has an internal data structure integrating RFID and Petri Nets. It is adaptive and applicable to assist operational management, including PNRD/iPNRD supervision, integrating design and deployment. A case study illustrates the application of PNRD/iPNRD Arduino Library Management System (a.k.a. PALMS) based on PNMS concept.
- Keywords
- Publisher
- URL
- https://ceur-ws.org/Vol-3424/