Software Implementation of Petri nets and compilation of rule-based systems. - Robert Valette; Babou Bako (Applications and Theory of Petri Nets, 1990)