In: Theory and Application of Graph Transformations: 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998., pages 410-425. Volume 1764 of Lecture Notes in Computer Science / Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski and Grzegorz Rozenberg (Eds.) --- Springer-Verlag, November 1998.
Abstract: The application of the general theory of high-level replacement systems has proven to be most rewarding in many different areas, especially in Petri nets. In this paper the extension of high-level replacement systems to refinement morphisms is applied to place/transition nets. The combination of morphisms, that preserve safety properties, with transformations of place/transition nets leads to rules and transformations, that preserve safety properties. Moreover, we extend our approach so that rules can introduce new invariant formulas, that is new safety properties.
Keywords: High-Level Replacement System; Petri Net Transformation; Safety Property; Temporal Logic; Rule-Based Refinement.