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.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.