@inbook {1433,
	title = {Structural methods for the control of Discrete Event Dynamic Systems {\textendash} The case of the Resource Allocation Problem},
	booktitle = {Control of Discrete-Event Systems. Automata and Petri net Perspectives},
	series = {Lecture Notes in Control and Information Sciences},
	volume = {433},
	year = {2013},
	pages = {257-278},
	publisher = {Springer},
	organization = {Springer},
	chapter = {13},
	address = {London},
	abstract = {The study of resource allocation related aspects is a fundamental issue in the design and control of Discrete Event Dynamic Systems (DEDSs) belonging to domains ranging from multithreaded software applications to Flexible Manufacturing Systems (FMSs). The formulation of this application-driven problem in terms of Petri nets leads to a family of net models with a specific structure-based characterization. These net subclasses are derived from a specific methodology to abstract the system in order to obtain its Resource Allocation System (RAS) view, which we describe in this chapter. After that, we concentrate our efforts in the characterization of the liveness of such models. The structural causes of the non-liveness (deadlock of some processes) are also discussed. These will lay the foundations to introduce control elements which forbid all the bad states enforcing the liveness property. The methods to compute the control are based on structural techniques avoiding the construction of the reachability graph.},
	issn = {978-1-4471-4275-1},
	doi = {10.1007/978-1-4471-4276-8_13},
	url = {http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_13},
	author = {J.P. L{\'o}pez-Grao and J.M. Colom},
	editor = {C. Seatzu and M. Silvae and J.H. van Schuppen}
}

