Transactions on Petri Nets and Other Models of Concurrency V
J. Grao, und J. Colom. Kapitel A petri net perspective on the resource allocation problem in software engineering, Springer-Verlag, Berlin, Heidelberg, (2012)
Zusammenfassung
Resource Allocation Systems (RAS) were intensively studied in the last years for Flexible Manufacturing Systems (FMS). The success of this research stems from the identification of subclasses of Petri Nets that correspond to an RAS abstraction of these systems. In this paper we take a parallel road to that travelled through for FMS, but for the case of software applications. These applications present concurrency, and deadlocks can happen due to the allocation of shared resources. We reveal that the existing subclasses of Petri Nets used to study this kind of deadlock problems are insufficient, even for very simple software systems. We propose a new subclass of Petri Nets that generalizes the previously known RAS subclasses and we present a taxonomy of anomalies that can be found in the context of software systems.
%0 Book Section
%1 LopezColom12
%A Grao, Juan Pablo López
%A Colom, José M.
%C Berlin, Heidelberg
%D 2012
%E Jensen, Kurt
%E Donatelli, Susanna
%E Kleijn, Jetty
%I Springer-Verlag
%K allocation, citeulike engineering, fms, ras, resource, software
%P 181--200
%T Transactions on Petri Nets and Other Models of Concurrency V
%U http://portal.acm.org/citation.cfm?id=2231064
%X Resource Allocation Systems (RAS) were intensively studied in the last years for Flexible Manufacturing Systems (FMS). The success of this research stems from the identification of subclasses of Petri Nets that correspond to an RAS abstraction of these systems. In this paper we take a parallel road to that travelled through for FMS, but for the case of software applications. These applications present concurrency, and deadlocks can happen due to the allocation of shared resources. We reveal that the existing subclasses of Petri Nets used to study this kind of deadlock problems are insufficient, even for very simple software systems. We propose a new subclass of Petri Nets that generalizes the previously known RAS subclasses and we present a taxonomy of anomalies that can be found in the context of software systems.
%& A petri net perspective on the resource allocation problem in software engineering
%@ 978-3-642-29071-8
@incollection{LopezColom12,
abstract = {{Resource Allocation Systems (RAS) were intensively studied in the last years for Flexible Manufacturing Systems (FMS). The success of this research stems from the identification of subclasses of Petri Nets that correspond to an RAS abstraction of these systems. In this paper we take a parallel road to that travelled through for FMS, but for the case of software applications. These applications present concurrency, and deadlocks can happen due to the allocation of shared resources. We reveal that the existing subclasses of Petri Nets used to study this kind of deadlock problems are insufficient, even for very simple software systems. We propose a new subclass of Petri Nets that generalizes the previously known RAS subclasses and we present a taxonomy of anomalies that can be found in the context of software systems.}},
added-at = {2017-09-08T10:52:59.000+0200},
address = {Berlin, Heidelberg},
author = {Grao, Juan Pablo L\'{o}pez and Colom, Jos{\'{e}} M.},
biburl = {https://www.bibsonomy.org/bibtex/2bec97e1634e8103a680b58df0d8d2c69/fernand0},
chapter = {A petri net perspective on the resource allocation problem in software engineering},
citeulike-article-id = {12283204},
citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=2231064},
editor = {Jensen, Kurt and Donatelli, Susanna and Kleijn, Jetty},
interhash = {37976fefd5eb0f037364a9fe4979dd9d},
intrahash = {bec97e1634e8103a680b58df0d8d2c69},
isbn = {978-3-642-29071-8},
keywords = {allocation, citeulike engineering, fms, ras, resource, software},
pages = {181--200},
posted-at = {2013-04-19 11:27:05},
priority = {2},
publisher = {Springer-Verlag},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{Transactions on Petri Nets and Other Models of Concurrency V}},
url = {http://portal.acm.org/citation.cfm?id=2231064},
year = 2012
}