For the most recent entries see the Petri Nets Newsletter.

Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.

Desel, Jörg; Kindler, Ekkart

In: 1998 International Conference on Application of Concurrency to System Design, Fukushima, Japan, pages 177-186. IEEE Computer Society Press, March 1998.


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

Back to the Petri Nets Bibliography