×

Rule-based refinement of Petri nets: A survey. (English) Zbl 1283.68251

Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 161-196 (2003).
Summary: This contribution provides a thorough survey of our work on rule-based refinement. Rule-based refinement comprises the transformation of Petri nets using rules while preserving certain system properties. Petri net rules and transformations are expressed by morphisms and pushouts. This allows an abstract formulation of our notions independent of a specific Petri net class, as place/transition nets, elementary nets, predicate/transition nets etc. Hence, it is adequate to consider our approach as rule-based refinement of Petri nets in general. We have presented various results in recent years at different conferences. So this contribution gives an overview of our work in a compact form leaving out the technical details.
For the entire collection see [Zbl 1028.00015].

MSC:

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

Software:

Design/CPN; TLA
PDFBibTeX XMLCite
Full Text: DOI