For the most recent entries see the Petri Nets Newsletter.

Proving Correctness of Distributed Algorithms: A Petri Net Approach.

Desel, Jörg; Kindler, Ekkart

Bericht No. 348. Institut AIFB, Universität Karlsruhe, February 1997.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography