For the most recent entries see the Petri Nets Newsletter.

Incremental Development of Safety Properties in Petri Net Transformations.

Padberg, Julia; Gajewsky, Maike; Hoffmann, Kathrin

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.

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

Back to the Petri Nets Bibliography