Petri Nets (PN) are a well established formal model for discrete event systems (DES). Classical PNs, even if Turing powerful, lack of features for specifying in an easy way structural changes that are likely to occur during systems' lifecycle. Many different attempts to face this issue have lead to several PN extensions, among which those matching the "nets within nets" paradigm are of particular relevance. In this paper we consolidate a recently introduced formal model for reconfigurable DES rigorously based on Reisig's SPEC-inscribed nets, that have a sound algebraic initial semantics. Although inspired by the same principles and goals as the "nets within nets" paradigm, our approach is uniform and consists of a single modelling layer. This permits consolidated analysis techniques to be exploited. A well known, first-order declarative language (OBJ) is used to inscribe nets.
A pure SPEC-inscribed PN model for reconfigurable systems / L. Capra - In: 2016 13th International Workshop on Discrete Event Systems (WODES) / [a cura di] C.G. Cassandras, A. Giua, Z. Li. - Prima edizione. - [s.l] : IEEE, 2016 Jun. - ISBN 9781509041909. - pp. 459-465 (( Intervento presentato al 13. convegno International Workshop on Discrete Event Systems (WODES) tenutosi a Xi'an nel 2016.
A pure SPEC-inscribed PN model for reconfigurable systems
L. CapraPrimo
2016
Abstract
Petri Nets (PN) are a well established formal model for discrete event systems (DES). Classical PNs, even if Turing powerful, lack of features for specifying in an easy way structural changes that are likely to occur during systems' lifecycle. Many different attempts to face this issue have lead to several PN extensions, among which those matching the "nets within nets" paradigm are of particular relevance. In this paper we consolidate a recently introduced formal model for reconfigurable DES rigorously based on Reisig's SPEC-inscribed nets, that have a sound algebraic initial semantics. Although inspired by the same principles and goals as the "nets within nets" paradigm, our approach is uniform and consists of a single modelling layer. This permits consolidated analysis techniques to be exploited. A well known, first-order declarative language (OBJ) is used to inscribe nets.File | Dimensione | Formato | |
---|---|---|---|
wodes2016CR.pdf
accesso riservato
Descrizione: Articolo principale
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
493.86 kB
Formato
Adobe PDF
|
493.86 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
07497888.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
523.14 kB
Formato
Adobe PDF
|
523.14 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.