Petri Nets (PN) are a central model for concurrent or distributed systems, but not expressive enough to represent dynamically reconfigurable systems. On the other side, Rewriting Logic has proved to be a natural framework for several formal models of distributed systems. We propose an efficient Maude formalization of dynamically reconfigurable PT nets (with inhibitor arcs), using as a running example a fault-tolerant manufacturing system. We discuss the advantages of such a hybrid approach, as well as some concerns that are raised.
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems / L. Capra (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Distributed Computing and Intelligent Technology / [a cura di] R. Bapi, S. Kulkarni, S. Mohalik, S. Peri. - Prima edizione. - [s.l] : Springer Science and Business Media Deutschland GmbH, 2022. - ISBN 978-3-030-94875-7. - pp. 140-156 (( Intervento presentato al 18. convegno International Conference on Distributed Computing and Intelligent Technology tenutosi a Bhubaneswar nel 2022 [10.1007/978-3-030-94876-4_9].
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems
L. Capra
Primo
Formal Analysis
2022
Abstract
Petri Nets (PN) are a central model for concurrent or distributed systems, but not expressive enough to represent dynamically reconfigurable systems. On the other side, Rewriting Logic has proved to be a natural framework for several formal models of distributed systems. We propose an efficient Maude formalization of dynamically reconfigurable PT nets (with inhibitor arcs), using as a running example a fault-tolerant manufacturing system. We discuss the advantages of such a hybrid approach, as well as some concerns that are raised.
| File | Dimensione | Formato | |
|---|---|---|---|
|
paper.pdf
accesso riservato
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
819.97 kB
Formato
Adobe PDF
|
819.97 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
