Petri nets in flexible and agile automation - Zhou, MengChu (Boston Kluwer Academic, 1995)
Keywords: Automatic control; Petri nets