J. Padberg and M. Gajewsky. Safety Preserving Transformations of Coloured Petri Nets. Technical Report 2000-13, Technical University Berlin, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Rule-Based Refinement for Place/Transition Systems.. - Gajewsky, Padberg.. (2001) Self-citation (Padberg Gajewsky) (Correct)
....which allow the propagation of system properties from the transformed to the resulting net. Explicit notion of re ning rules have been already introduced for safety preservation for place transition systems [PG98,GHP99,PGH99] algebraic high level nets [PGE98,PHG00,PGE01] and coloured Petri nets [PG00b,PG00a]. In this paper we have expanded the range to liveness preserving rules for place transition systems. compatibility of net class transformations, see [Gaj00] with plain rules. This allows propagating rule based transformation across net classes [GPP00,GPP01] It represents an important ....
J. Padberg and M. Gajewsky. Safety Preserving Transformations of Coloured Petri Nets. Technical Report 2000-13, Technical University Berlin, 2000.
New Safety Property and Liveness Preserving Morphisms of P/T.. - Urbasek (2002) (Correct)
No context found.
J. Padberg and M. Gajewsky. Safety Preserving Transformations of Coloured Petri Nets. Technical Report 2000-13, Technical University Berlin, 2000.
Application of Graph Transformation Techniques to.. - Braatz, Ehrig.. (2002) (2 citations) (Correct)
No context found.
J. Padberg and M. Gajewsky. Safety Preserving Transformations of Coloured Petri Nets. Technical Report 2000-13. Technical University Berlin, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC