In: Petri Net Newsletter No. 35, pages 16-31. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, April 1990.
Keywords: control synthesis (by) net analysis; discrete event system; deadlock freeness; liveness.