A Petri-net-based methodology for the design of deadlock-free control structures

Seiche, W.; Abel, Dirk; Rake, Heinrich

(1990)
Contribution to a conference proceedings

In: Eur. Simulat. Sympos. Gent, Belgien 1990
Page(s)/Article-Nr.: 182-186