Title: Supervisory control of discrete event systems using Petri nets
First published: 1998
Subjects: Petri nets, Supervisory control systems, Discrete-time systems
LC classification: TJ222 .M66 1998