For the most recent entries see the Petri Nets Newsletter.

Proving Petri Nets Correct via Cause-Effect Structures.

Czaja, Ludwik

In: Burkhard, H.D.; Czaja, L.; Lindemann, G.; Skowron, A.; Starke, P.: Concurrency, Specification, and Programming CS&P'2002 (Volume 1), pages 89-100. Humboldt-Universität zu Berlin, Informatik-Berichte 161, 2002.

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

Back to the Petri Nets Bibliography