J. Desel and A. Merceron. Vicinity Respecting Net Morphisms. In Advances in Petri Nets, pages 165-185. Springer Verlag, 1990. Lecture Notes in Computer Science 483. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Preserving Liveness with Rule-Based Refinement . . . - Urbasek (2002) (Correct)
Rule-Based Refinement for Place/Transition Systems.. - Gajewsky, Padberg.. (2001) (Correct)
Safety Preserving Transformations of Coloured Petri Nets - Padberg, Gajewsky (2000) (2 citations) (Correct)
Incremental Development of Safety Properties in Petri.. - Padberg, Gajewsky.. (1999) (2 citations) (Correct)
PN-TOX: a Paradigm and Development Environment for Object.. - Holvoet, Verbaeten (1995) (6 citations) (Correct)
A Bibliography of Papers in Lecture Notes in Computer (1990) - Beebe (1999) (Correct)
HOONets: Hierarchical Object-Oriented Petri Nets for System.. - Hong, Bae (1998) (Correct)
Petri Charts: an Alternative Technique for Hierarchical Net .. - Holvoet, Verbaeten (1995) (4 citations) (Correct)
New Safety Property and Liveness Preserving Morphisms of P/T.. - Urbasek (2002) (Correct)
Application of Graph Transformation Techniques to.. - Braatz, Ehrig.. (2002) (2 citations) (Correct)
Formal Transformations of Petri Nets - Gajewsky, Parisi-Presicce (2000) (1 citation) (Correct)
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