Local State Refinement and Composition of 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 class of morphisms. The morphisms, from a refined system to an abstract one, ass...

Full description

Saved in:
Bibliographic Details
Published inTransactions on Petri Nets and Other Models of Concurrency VIII Vol. 8100; pp. 48 - 70
Main Authors Bernardinello, Luca, Mangioni, Elisabetta, Pomello, Lucia
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2013
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
composition
local state refinement
morphisms
Petri Nets
Online AccessGet full text
ISBN9783642404641
3642404642
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-40465-8_3

Cover

More Information
Summary: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 class of morphisms. The morphisms, from a refined system to an abstract one, associate suitable subnets to abstract local states. We define an operation of composition ruled by morphisms of that class. 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 weak bisimulation between net systems.
ISBN:9783642404641
3642404642
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-40465-8_3