In: Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT'98), pages 356-365. November 1998.
Abstract: In this paper we combine place-preserving morphisms with transformations of place/transition nets. Place-preserving morphisms allow the preservation of safety-properties, together with transformations of place/transition nets, we obtain rules and transformations, that preserve safety properties. This is achieved by the application of high-level replacement systems, together with the extension to Q-morphisms.
Keywords: High-Level Replacement System, Petri Net Transformation, Safety Property, Temporal Logic, Rule-Based Refinement.