Classical Petri Nets are not suitable for describing systems with an adaptable layout. A model based on Symmetric Nets (SN) has been recently introduced. It is composed of a SN emulating the behaviour of any base-level Place/Transition net (encoded as a marking), and an API for basic net-transformation primitives. In this paper, we discuss about the automation of the modelling process and the issues related to analysis complexity, proposing a more effective formalization of the base-level. The discussion is accompanied by a simple running example.
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support / L. Capra (ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING). - In: Trends and Innovations in Information Systems and Technologies. 1 / [a cura di] Á. Rocha, H. Adeli, L.P. Reis, S. Costanzo, I. Orovic, F. Moreira. - [s.l] : Springer, 2020. - ISBN 9783030456870. - pp. 715-725 (( Intervento presentato al 8. convegno World Conference on Information Systems and Technologies tenutosi a Budva nel 2020 [10.1007/978-3-030-45688-7_70].
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support
L. Capra
2020
Abstract
Classical Petri Nets are not suitable for describing systems with an adaptable layout. A model based on Symmetric Nets (SN) has been recently introduced. It is composed of a SN emulating the behaviour of any base-level Place/Transition net (encoded as a marking), and an API for basic net-transformation primitives. In this paper, we discuss about the automation of the modelling process and the issues related to analysis complexity, proposing a more effective formalization of the base-level. The discussion is accompanied by a simple running example.File | Dimensione | Formato | |
---|---|---|---|
worldcist19.pdf
accesso riservato
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
592.68 kB
Formato
Adobe PDF
|
592.68 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Capra-Camilli2020_Chapter_EmulatingSelf-adaptiveStochast.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
1.03 MB
Formato
Adobe PDF
|
1.03 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.