For the most recent entries see the Petri Nets Newsletter.

Five Classes of Invariant-Preserving Transformations on Colored Petri Nets.

Cheung, To-Yat; Lu, Yiqin

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography