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.
Evolving systems; Stochastic petri nets; Symmetric nets
Settore INF/01 - Informatica
Book Part (author)
File in questo prodotto:
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.

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