×

Incremental development of safety properties in Petri net transformations. (English) Zbl 0958.68124

Ehrig, Hartmut (ed.) et al., Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16-20, 1998. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1764, 410-425 (2000).
Summary: 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.
For the entire collection see [Zbl 0933.00049].

MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q42 Grammars and rewriting systems
PDFBibTeX XMLCite