Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Generalized Petri net reduction method
IEEE Transactions on Systems, Man and Cybernetics - Special issue on artificial intelligence
A reduction theory for coloured nets
Advances in Petri nets 1989
Petri nets and flexible manufacturing
Advances in Petri nets 1989
How to Find Invariants for Coloured Petri Nets
Proceedings on Mathematical Foundations of Computer Science
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Orthogonal Transformations for Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
On the Abstraction of Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
On the invariants of coloured Petri nets
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Coloured Petri nets: A high level language for system design and analysis
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Towards a Modular Analysis of Coloured Petri Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Invariant-preserving transformations for the verification of place/transition systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Petri nets for protocol engineering
Computer Communications
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Invariant preservation in iterative modeling
Proceedings of the 6th International Workshop on Models and Evolution
| Hi-index | 0.00 |
Transformations on a system specification are often used as a means for simplifying the process of verification. When applying a transformation, it is an important issue whether some specific properties of the system will be preserved or not. For systems specified in colored Petri nets, this paper provides the criteria for determining the preservation of place-invariants and transition-invariants under five classes of very general transformations, namely, Insertion, Elimination, Replacement, Composition, and Decomposition. Applications to flexible manufacturing engineering systems and telecommunications systems are discussed.