


default search action
PNGT@ICGT 2004: Rome, Italy
- Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(2), Elsevier 2005 - Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Preface. 1-3 - Paolo Baldan, Andrea Corradini
, Ugo Montanari:
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. 5-28 - Luciano Baresi
, Mauro Pezzè
:
Petri Nets as Semantic Domain for Diagram Notations. 29-44 - Daniele Codetta Raiteri
:
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation. 45-60 - Claudia Ermel, Karsten Ehrig:
View Transformation in Visual Environments applied to Algebraic High-Level Nets. 61-86 - Kathrin Hoffmann, Till Mossakowski
, Francesco Parisi-Presicce:
Higher-Order Nets for Mobile Policies. 87-105 - Vladimiro Sassone, Pawel Sobocinski
:
A Congruence for Petri Nets. 107-120

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.