For the most recent entries see the
Petri Nets Newsletter.
König, B.
-
Baldan, Paolo;
Corradini, Andrea;
Heindel, Tobias;
König, Barbara;
Sobocinski, Pawel:
Processes for Adhesive Rewriting Systems.
2006.
-
Baldan, Paolo;
Haar, Stefan;
König, Barbara:
Distributed Unfolding of Petri Nets.
2006.
-
König, Barbara;
Kozioura, Vitali:
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems.
2006.
-
Baldan, Paolo;
Andrea, Corradini;
König, Barbara:
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach.
2004.
-
Baldan, Paolo;
König, Barbara;
König, Bernhard:
A Logic for Analyzing Abstractions of Graph Transformation Systems.
2003.
-
Baldan, Paolo;
König, Barbara;
König, Bernhard:
A Logic for Analyzing Abstractions of Graph Transformation Systems.
2003.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography