In: Donatelli, Susanna; Kleijn, Jetty: Lecture Notes in Computer Science, Vol. 1630: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, pages 384-403. Springer-Verlag, June 1999.
Abstract: Transformations on a system specification are often used as a means for simplifying the process of verification. When applying a transfonnation, 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.