Structural transformations that preserve properties of formal models of concurrent systems make their verification easier. We define structural transformations that allow to abstract and refine elementary net systems. Relations between abstract models and their refinements are formalized using morphisms. Transformations proposed in this paper induce morphisms between elementary net systems as well as preserve their behavioral properties, especially deadlocks. We also show the application of the proposed transformations to the construction of a correct composition of interacting workflow net components.

Bernardinello, L., Lomazova, I., Nesterov, R., Pomello, L. (2022). Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. In M. Koutny, F. Kordon, D. Moldt (a cura di), Transactions on Petri Nets and Other Models of Concurrency XVI (pp. 1-23). Springer [10.1007/978-3-662-65303-6_1].

Property-Preserving Transformations of Elementary Net Systems Based on Morphisms

Bernardinello, L;Nesterov, R
;
Pomello, L
2022

Abstract

Structural transformations that preserve properties of formal models of concurrent systems make their verification easier. We define structural transformations that allow to abstract and refine elementary net systems. Relations between abstract models and their refinements are formalized using morphisms. Transformations proposed in this paper induce morphisms between elementary net systems as well as preserve their behavioral properties, especially deadlocks. We also show the application of the proposed transformations to the construction of a correct composition of interacting workflow net components.
Capitolo o saggio
abstraction; morphisms; Petri nets; refinement; transformations;
English
Transactions on Petri Nets and Other Models of Concurrency XVI
Koutny, M; Kordon, F; Moldt, D
20-apr-2022
2022
9783662653029
13220 LNCS
Springer
1
23
1
Bernardinello, L., Lomazova, I., Nesterov, R., Pomello, L. (2022). Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. In M. Koutny, F. Kordon, D. Moldt (a cura di), Transactions on Petri Nets and Other Models of Concurrency XVI (pp. 1-23). Springer [10.1007/978-3-662-65303-6_1].
reserved
File in questo prodotto:
File Dimensione Formato  
Bernardinello-2022-LNCS-VoR.pdf

Solo gestori archivio

Tipologia di allegato: Publisher’s Version (Version of Record, VoR)
Licenza: Tutti i diritti riservati
Dimensione 684.17 kB
Formato Adobe PDF
684.17 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/10281/404098
Citazioni
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
Social impact