The Resource Allocation Problem in Flexible Manufacturing Systems
J. Colom. Applications and Theory of Petri Nets 2003, volume 2679 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2003)
DOI: 10.1007/3-540-44919-1_3
Abstract
The analysis of resource allocation related aspects is a precondition for the design and control of Flexible Manufacturing Systems. The formulation of this application-driven problem in terms of Petri nets leads to a class of models, with a specific structure-based characterization, which we explore in this presentation. We will concentrate our efforts on the characterization of the liveness of such models. We will also discuss the structural causes of the non-liveness (deadlock of some manufacturing processes) that will allow to state the foundations to introduce control elements which eliminate all the bad states.
%0 Book Section
%1 Colom03
%A Colom, J. M.
%B Applications and Theory of Petri Nets 2003
%D 2003
%E Aalst, WilM
%E Best, Eike
%I Springer Berlin Heidelberg
%K bloqueos, citeulike nets, petri
%P 23--35
%R 10.1007/3-540-44919-1_3
%T The Resource Allocation Problem in Flexible Manufacturing Systems
%U http://dx.doi.org/10.1007/3-540-44919-1_3
%V 2679
%X The analysis of resource allocation related aspects is a precondition for the design and control of Flexible Manufacturing Systems. The formulation of this application-driven problem in terms of Petri nets leads to a class of models, with a specific structure-based characterization, which we explore in this presentation. We will concentrate our efforts on the characterization of the liveness of such models. We will also discuss the structural causes of the non-liveness (deadlock of some manufacturing processes) that will allow to state the foundations to introduce control elements which eliminate all the bad states.
@incollection{Colom03,
abstract = {{The analysis of resource allocation related aspects is a precondition for the design and control of Flexible Manufacturing Systems. The formulation of this application-driven problem in terms of Petri nets leads to a class of models, with a specific structure-based characterization, which we explore in this presentation. We will concentrate our efforts on the characterization of the liveness of such models. We will also discuss the structural causes of the non-liveness (deadlock of some manufacturing processes) that will allow to state the foundations to introduce control elements which eliminate all the bad states.}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Colom, J. M.},
biburl = {https://www.bibsonomy.org/bibtex/2892777325aa5b021422a62b66a734354/fernand0},
booktitle = {Applications and Theory of Petri Nets 2003},
citeulike-article-id = {13171683},
citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-44919-1_3},
citeulike-linkout-1 = {http://link.springer.com/chapter/10.1007/3-540-44919-1_3},
doi = {10.1007/3-540-44919-1_3},
editor = {Aalst, WilM and Best, Eike},
interhash = {140e4c723a1e23dc982a4b565913f77f},
intrahash = {892777325aa5b021422a62b66a734354},
keywords = {bloqueos, citeulike nets, petri},
pages = {23--35},
posted-at = {2014-05-15 15:52:13},
priority = {2},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{The Resource Allocation Problem in Flexible Manufacturing Systems}},
url = {http://dx.doi.org/10.1007/3-540-44919-1_3},
volume = 2679,
year = 2003
}