For the most recent entries see the
Petri Nets Newsletter.
Petri Net Based Verification of Distributed Algorithms: An Example.
Kindler, Ekkart;
Reisig, Wolfgang;
Völzer, Hagen;
Walter, Rolf
Informatik-Berichte, No. 63.
Humboldt-Universität zu Berlin,
May 1996.
Also in:
Formal Aspects of Computing, Vol. 9, pages 409-424.
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography