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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Padberg, J., & Urbášek, M. (2003). Rule-based refinement of petri nets: A survey. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2472, 161–196. https://doi.org/10.1007/978-3-540-40022-6_9
Mendeley helps you to discover research relevant for your work.