| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423315 | Electronic Notes in Theoretical Computer Science | 2006 | 22 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
