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