For the most recent entries see the
Petri Nets Newsletter.
Memorandum: Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
Walter, Rolf;
Völzer, Hagen;
Vesper, Tobias;
Reisig, Wolfgang;
Kindler, Ekkart;
Freiheit, Jörn;
Desel, Jörg
Informatik-Bericht, No. 67.
Humboldt-Universität zu Berlin,
July 1996.
In German.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography