Algebraic high-level nets and transformations with initial markings (1994)

by L Ribeiro, J Padberg
Results 1 - 1 of 1

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

by J. Padberg, M. Gajewsky - IN SIXTH INTERNATIONAL WORKSHOP ON THEORY AND APPLICATION OF GRAPH TRANSFORMATIONS. ACCEPTED , 1998
"... 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 [EGPP98a]. In this paper the abstract extension of high-level replacement systems to refinement morphisms [Pad98] is applied to place/transition ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
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 [EGPP98a]. In this paper the abstract extension of high-level replacement systems to refinement morphisms [Pad98] is applied to place/transition nets. The combination of morphisms, that preserve safety properties [Peu97], with transformations of place/transition nets leads to rules and transformations, that preserve safety poperties.