Supervisory control of a class of discrete event processes (1987)

by P Ramadge, W Wonham
Venue:Siam J. Control and Optimization