For the most recent entries see the
Petri Nets Newsletter.
Vesper, T.
-
Kindler, E.;
Vesper, T.:
ESTL: Some Proof Techniques.
2003.
-
Kindler, E.;
Vesper, T.;
Weber, M.:
Application Oriented Verification Scenarios.
1999.
-
Reisig, W.;
Kindler, E.;
Vesper, T.;
Völzer, H.:
Distributed Algorithms for Networks of Agents.
1998.
-
Vesper, Tobias;
Weber, Michael:
Structuring with Distributed Algorithms.
1998.
-
Kindler, Ekkart;
Vesper, Tobias:
ESTL: A Temporal Logic for Events and States.
1998.
-
Fricke, O.;
Borusan, A.;
Vesper, T.;
Kindler, E.:
Verifikation im Vorgehensmodell anhand eines Beipsiels.
1997.
-
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.
-
Kindler, Ekkart;
Vesper, Tobias:
A Temporal Logic for Events and States in Petri Nets.
1997.
-
Kindler, Ekkart;
Vesper, Tobias:
Automatisch überprüfbare Beweistechniken für algebraische Petrinetze.
1996.
-
Walter, Rolf;
Völzer, Hagen;
Vesper, Tobias;
Reisig, Wolfgang;
Kindler, Ekkart;
Freiheit, Jörn;
Desel, Jörg:
Memorandum: Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
1996.
-
Desel, Jörg;
Kindler, Ekkart;
Vesper, Tobias;
Walter, Rolf:
A simplified proof for a self-stabilizing protocol: A Game of Cards.
1995.
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