@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}
}

