Petri nets in flexible and agile automation - Zhou, MengChu (Kluwer international series in engineering and computer science, 1995)