Advances in Petri Nets 1993 by Grzegorz Rozenberg | Lex | Lex