A petri net perspective on the resource allocation problem in software engineering

Authors:
Juan-Pablo López-Grao;José-Manue Colom
Affiliations:
Dpt. of Computer Science and Systems Engineering (DIIS), University of Zaragoza, Spain;Aragon Institute of Engineering Research (I3A), University of Zaragoza, Spain
Venue:
Transactions on Petri Nets and Other Models of Concurrency V
Year:
2012

Citing 8
Cited 0

System Deadlocks

ACM Computing Surveys (CSUR)
On folk theorems

Communications of the ACM
Communicating sequential processes

Communications of the ACM
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach

Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
Liveness enforcing supervision of video streaming systems using nonsequential Petri nets

IEEE Transactions on Multimedia
The resource allocation problem in flexible manufacturing systems

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A deadlock avoidance approach for nonsequential resource allocation systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Quantified Score

Hi-index	0.00

Visualization

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.