@book {1505, title = {Control of Discrete-Event Systems: Automata and Petri-Net Perspectives}, series = {Lecture Notes y Control and Information Sciences}, volume = {433}, year = {2013}, pages = {478}, publisher = {Springer}, organization = {Springer}, address = {London}, author = {C. Seatzu and M. Silva and J.(ed.) van Schuppen} }