Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Information and Computation
Petri nets and algebraic specifications
Theoretical Computer Science
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
High-level replacement systems applied to algebraic specifications and Petri nets
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Parallel systems specitications with coloured Petri nets and algebraic specifications
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Cooperative model reconstruction for cryptographic protocols using visual languages
CRIWG'09 Proceedings of the 15th international conference on Groupware: design, implementation, and use
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Formal modeling of multi-user interfaces in cooperative work
CRIWG'12 Proceedings of the 18th international conference on Collaboration and Technology
Hi-index | 0.01 |
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.