Text this: Supervisory control of discrete event systems using Petri nets /