For the most recent entries see the
Petri Nets Newsletter.
Völzer, H.
-
Völzer, Hagen:
Refinement-Robust Fairness.
2002.
-
Völzer, Hagen:
Randomized Non-sequential Processes.
2001.
-
Völzer, Hagen:
Randomized Non-Sequential Processes.
2001.
-
Kindler, Ekkart;
Völzer, Hagen:
Algebraic Nets with Flexible Arcs.
2001.
-
Baar, Thomas;
Kindler, Ekkart;
Völzer, Hagen:
Verifying Intuition - ILF Checks DAWN Proofs.
1999.
-
Reisig, W.;
Kindler, E.;
Vesper, T.;
Völzer, H.:
Distributed Algorithms for Networks of Agents.
1998.
-
Völzer, H.:
Verifying fault tolerance of distributed algorithms formally - an example.
1998.
-
Kindler, E.;
Völzer, H.:
Flexibility in Algebraic Nets.
1998.
-
Weber, M.;
Walter, R.;
Völzer, H.;
Vesper, T.;
Reisig, W.;
Peuker, S.;
Kindler, E.;
Freiheit, J.;
Desel, J.:
DAWN. Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
1997.
-
Walter, Rolf;
Völzer, Hagen;
Vesper, Tobias;
Reisig, Wolfgang;
Kindler, Ekkart;
Freiheit, Jörn;
Desel, Jörg:
Memorandum: Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
1996.
-
Kindler, Ekkart;
Reisig, Wolfgang;
Völzer, Hagen;
Walter, Rolf:
Petri Net Based Verification of Distributed Algorithms: An Example.
1996.
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