Despite Petri Nets represent a sound and expressive formal model for distributed discrete-event systems, they cannot specify in a natural way structural changes that are likely to occur in adaptable and evolvable distributed applications running in a dynamically changing environment. In this paper we propose a framework based on the Symmetric Net formalism able to emulate the behavior of any Place/Transition net and safely plan/apply structural changes during the execution of the emulated system. The intrinsic characteristics of Symmetric Nets may reduce the complexity of verification activities exploiting symbolic structures in reachability analysis. Moreover, powerful off-the-shelf software tools, that natively support Symmetric Nets, can be exploited to ease both the modeling and the analysis phases.

Towards Evolving Petri Nets: a Symmetric Nets-based Framework / L. Capra, M. Camilli (IFAC-PAPERSONLINE). - In: 14th IFAC Workshop on Discrete Event Systems WODES 2018 / [a cura di] G. De Tommasi. - [s.l] : Elsevier, 2018 Jul. - pp. 480-485 (( Intervento presentato al 14. convegno Discrete Event Systems WODES tenutosi a Sorrento nel 2018 [10.1016/j.ifacol.2018.06.343].

Towards Evolving Petri Nets: a Symmetric Nets-based Framework

L. Capra;M. Camilli
2018

Abstract

Despite Petri Nets represent a sound and expressive formal model for distributed discrete-event systems, they cannot specify in a natural way structural changes that are likely to occur in adaptable and evolvable distributed applications running in a dynamically changing environment. In this paper we propose a framework based on the Symmetric Net formalism able to emulate the behavior of any Place/Transition net and safely plan/apply structural changes during the execution of the emulated system. The intrinsic characteristics of Symmetric Nets may reduce the complexity of verification activities exploiting symbolic structures in reachability analysis. Moreover, powerful off-the-shelf software tools, that natively support Symmetric Nets, can be exploited to ease both the modeling and the analysis phases.
Applications; Modeling tools; Evolvable systems; Petri nets; Symmetric Nets
Settore INF/01 - Informatica
lug-2018
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
root_camera-ready.pdf

accesso riservato

Tipologia: Pre-print (manoscritto inviato all'editore)
Dimensione 1.66 MB
Formato Adobe PDF
1.66 MB 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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/582752
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 9
social impact