Local state refinement on Elementary Net Systems: an approach based on morphisms

In the design of concurrent and distributed systems, modularity and refinement are basic conceptual tools. We propose a notion of refinement/abstraction of local states for a basic class of Petri Nets, associated with a new kind of morphisms. The morphisms, from a refined system to an abstract one, associate suitable subnets to abstract local states. The main results concern behavioural properties preserved and reflected by the morphisms. In particular, we focus on the conditions under which reachable markings are preserved or reflected, and the conditions under which a morphism induces a bisimulation between net systems.

[1]  Walter Vogler,et al.  Executions: A New Partial-Order Semantics of Petri Nets , 1991, Theor. Comput. Sci..

[2]  Milan Urbásek,et al.  Rule-Based Refinement of Petri Nets: A Survey , 2003, Petri Net Technology for Communication-Based Systems.

[3]  Marek A. Bednarczyk,et al.  On Concurrent Realization of Reactive Systems and Their Morphisms , 2001, Unifying Petri Nets.

[4]  Carla Simone,et al.  A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.

[5]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[6]  Grzegorz Rozenberg,et al.  Elementary transition systems and refinement , 2005, Acta Informatica.

[7]  L. Bernardinello,et al.  Composition of Elementary Net Systems basedon α-morphisms , 2012 .

[8]  Luca Bernardinello,et al.  On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces , 2007, Fundam. Informaticae.

[9]  Wilfried Brauer,et al.  A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.

[10]  Jörg Desel,et al.  Vicinity Respecting Homomorphisms for Abstracting System Requirements , 2010, Trans. Petri Nets Other Model. Concurr..

[11]  Glynn Winskel,et al.  Petri Nets, Algebras, Morphisms, and Compositionality , 1987, Inf. Comput..

[12]  Joost Engelfriet,et al.  Elementary Net Systems , 1996, Applications and Theory of Petri Nets.