For the most recent entries see the Petri Nets Newsletter.

Using High-Level Replacement Systems to preserve Safety Properties in Place/Transition Net Transformations.

Padberg, J.; Gajewsky, M.

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.

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

Back to the Petri Nets Bibliography