Property-preserving transformations of elementary net systems based on morphisms

DOI10.1007/978-3-662-65303-6_1MaRDI QIDQ2163769zbMATH OpenOpenAlexFDO

Authors Luca Bernardinello, Roman Nesterov, Lucia Pomello, Irina A. Lomazova

Publication date 11 August 2022

Full work available at URL https://doi.org/10.1007/978-3-662-65303-6_1

abstraction morphisms Petri nets refinement transformations

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

The main purpose of this paper is to define a set of local abstraction/refinement transformations for elementary net (EN) systems. A local transformation acts only on a specific subnet, while the rest of the EN system remains unchanged. The authors consider EN systems with labelled transitions, where labels specify interactions with the environment. Transformation rules are presented preserving labelled transitions, while unlabelled transitions are reduced. As a result of applying these transformations, an initial EN system and a transformed EN system are related by an alpha-morphism, and their reachable markings and, especially, deadlocks are preserved. Interestingly enough, it is also shown that simple Petri net transformations, introduced earlier in the literature, also yield corresponding alpha-morphisms. In addition, the authors provide two cases of applying transformations defined in the study. For the entire collection see [Zbl 1492.68020].

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Property-preserving transformations of elementary net systems based on morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2163769)