Control of Discrete-Event Systems : Automata and Petri Net Perspectives - Seatzu, Carla.; Silva, Manuel.; van Schuppen, Jan H. (Springer London : Imprint: Springer, 2013)