Advances in Petri Nets 1987, ed. Grzegorz Rozenberg, LNCS266; Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, LNCS254+LNCS255, 1987, LNCS188 (1984), LNCS340 (1988), LNCS483 (1991) (informationswissenschaftl. Veröffentlichungen)