For the most recent entries see the
Petri Nets Newsletter.
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.
1998 International Conference on Application of Concurrency to System Design, Fukushima, Japan, pages 177-186.
IEEE Computer Society Press,
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography