Transformations of Petri Nets |
| |
Authors: | H Ehrig K Hoffmann J Padberg |
| |
Affiliation: | Institute for Software Technology and Theoretical Computer Science, Technical University Berlin, Germany |
| |
Abstract: | 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. |
| |
Keywords: | Petri nets rule-based approach transformations high-level replacement systems graph transformation |
本文献已被 ScienceDirect 等数据库收录! |