Transformations of Petri Nets

The aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the sense of the software development process in software engin...

Full description

Saved in:
Bibliographic Details
Published inElectronic notes in theoretical computer science Vol. 148; no. 1; pp. 151 - 172
Main Authors Ehrig, H., Hoffmann, K., Padberg, J.
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.02.2006
Subjects
graph transformation
high-level replacement systems
Petri nets
rule-based approach
transformations
high-level replacement systems
graph transformation
Petri nets
rule-based approach
transformations
Online AccessGet full text

Cover

More Information
Summary:The aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the sense of the software development process in software engineering. The concept of Petri net transformations is based on that of graph transformations and high-level replacement systems and it is introduced within a small case study logistics.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2005.12.016