Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Meseguer, José
Montanari, Ugo
and
Sassone, Vladimiro
1996.
Process versus unfolding semantics for Place/Transition Petri nets.
Theoretical Computer Science,
Vol. 153,
Issue. 1-2,
p.
171.
Meseguer, José
Montanari, Ugo
and
Sassone, Vladimiro
1997.
Foundations of Computer Science.
Vol. 1337,
Issue. ,
p.
239.
Nielsen, Mogens
and
Sassone, Vladimiro
1998.
Lectures on Petri Nets I: Basic Models.
Vol. 1491,
Issue. ,
p.
587.
Bruni, Roberto
Meseguer, José
Montanari, Ugo
and
Sassone, Vladimiro
1998.
Advances in Computing Science ASIAN 98.
Vol. 1538,
Issue. ,
p.
225.
Baldan, Paolo
Corradini, Andrea
and
Montanari, Ugo
2000.
Theory and Application of Graph Transformations.
Vol. 1764,
Issue. ,
p.
145.
Bruni, Roberto
and
Sassone, Vladimiro
2000.
Automata, Languages and Programming.
Vol. 1853,
Issue. ,
p.
175.
Bruni, Roberto
and
Sassone, Vladimiro
2001.
Unifying Petri Nets.
Vol. 2128,
Issue. ,
p.
427.
Baldan, Paolo
2002.
Concurrency for Graph Grammars in a Petri net shell.
Electronic Notes in Theoretical Computer Science,
Vol. 51,
Issue. ,
p.
65.
Ehrig, Hartmut
Hoffmann, Kathrin
Padberg, Julia
Baldan, Paolo
and
Heckel, Reiko
2002.
Formal and Natural Computing.
Vol. 2300,
Issue. ,
p.
191.
Baldan, Paolo
Corradini, Andrea
Montanari, Ugo
and
Ribeiro, Leila
2003.
Recent Trends in Algebraic Development Techniques.
Vol. 2755,
Issue. ,
p.
165.
Ehrig, Hartmut
2003.
Behavior and Instantiation of High–Level Net Processes.
Electronic Notes in Theoretical Computer Science,
Vol. 82,
Issue. 7,
p.
1.
Czaja, Ludwik
2003.
On the Analysis of Petri Nets and their Synthesis from Process Languages.
RAIRO - Theoretical Informatics and Applications,
Vol. 37,
Issue. 1,
p.
17.
Baldan, Paolo
Bruni, Roberto
and
Montanari, Ugo
2003.
Recent Trends in Algebraic Development Techniques.
Vol. 2755,
Issue. ,
p.
145.
van Glabbeek, Robert Jan
2005.
CONCUR 2005 – Concurrency Theory.
Vol. 3653,
Issue. ,
p.
323.
Baldan, Paolo
and
Corradini, Andrea
2005.
Formal Methods in Software and Systems Modeling.
Vol. 3393,
Issue. ,
p.
3.
Bruni, Roberto
Melgratti, Hernán
and
Montanari, Ugo
2006.
CONCUR 2006 – Concurrency Theory.
Vol. 4137,
Issue. ,
p.
295.
Baldan, Paolo
Ehrig, Hartmut
Padberg, Julia
and
Rozenberg, Grzegorz
2006.
Graph Transformations.
Vol. 4178,
Issue. ,
p.
467.
Baldan, Paolo
Corradini, Andrea
Montanari, Ugo
and
Ribeiro, Leila
2007.
Unfolding semantics of graph transformation.
Information and Computation,
Vol. 205,
Issue. 5,
p.
733.
Bruni, Roberto
and
Sassone, Vladimiro
2008.
Concurrency, Graphs and Models.
Vol. 5065,
Issue. ,
p.
503.
Baldan, Paolo
and
König, Barbara
2008.
Graph Transformations.
Vol. 5214,
Issue. ,
p.
467.