Petri Nets (PN) are a consolidated formal model for distributed systems. Classical PNs however are inadequate to model structural changes in systems' lifecycle. Many different attempts to face this issue have lead to lot of PN extensions, of particular concern are those matching the so called "nets within nets" paradigm. We present an alternative to this paradigm rigorously based on classical SP EC-inscribed nets, which have a sound algebraic initial semantics. Even if inspired by the same principles, and sharing most of the goals, our approach builds on a uniform framework and permits consolidated techniques to be exploited. The OBJ language is used to inscribe nets.
An algebraic Petri Nets emulator / L. Capra - In: 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) / [a cura di] L. Kovacs, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie. - Prima edizione. - [s.l] : IEEE Computer Society, 2015. - ISBN 978-1-5090-0461-4. - pp. 61-65 (( Intervento presentato al 17. convegno SYNASC tenutosi a Timisoara nel 2015 [10.1109/SYNASC.2015.19].
An algebraic Petri Nets emulator
L. CapraPrimo
2015
Abstract
Petri Nets (PN) are a consolidated formal model for distributed systems. Classical PNs however are inadequate to model structural changes in systems' lifecycle. Many different attempts to face this issue have lead to lot of PN extensions, of particular concern are those matching the so called "nets within nets" paradigm. We present an alternative to this paradigm rigorously based on classical SP EC-inscribed nets, which have a sound algebraic initial semantics. Even if inspired by the same principles, and sharing most of the goals, our approach builds on a uniform framework and permits consolidated techniques to be exploited. The OBJ language is used to inscribe nets.File | Dimensione | Formato | |
---|---|---|---|
07426063.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
354.28 kB
Formato
Adobe PDF
|
354.28 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.