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