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