For the most recent entries see the Petri Nets Newsletter.

Proving Petri Nets Correct via Cause-Effect Structures.

Czaja, L.

In: Workshop Concurrency, Specification and Programming CS & P'2002, Berlin; Oct. 7-9, Vol. 1; H.D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, P. Starke (Eds.), Informatik-Bericht Nr. 161, Humboldt-Univ. zu Berlin, pages 89-100. 7-9 October. 2002.


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

Back to the Petri Nets Bibliography