Operating system concepts (2nd ed.)
Operating system concepts (2nd ed.)
Petri Nets and Production Systems
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Comparing digraph and Petri net approaches to deadlock avoidance inFMS
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Resource-Constrained Workflow Nets
Fundamenta Informaticae
Scheduling-free resource management
Data & Knowledge Engineering
The price of coordination in resource management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Soundness of resource-constrained workflow nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A petri net perspective on the resource allocation problem in software engineering
Transactions on Petri Nets and Other Models of Concurrency V
Resource-Constrained Workflow Nets
Fundamenta Informaticae
An algorithm to compute the minimal siphons in S4PR nets
Discrete Event Dynamic Systems
| Hi-index | 0.01 |
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.