Name
Abstract | ||
|---|---|---|
The work presented in this paper extends recently developed in the theory of resource allocation systems (RAS) to RAS behaviors that present synchronization requirements in the underlying process flows. More specifically, the paper first provides a formal definition of the considered RAS structures and behaviors by introducing the Petri net sub-class of generalized augmented marked graphs (G-AMG), and subsequently, it proceeds to the analysis of the liveness properties of the resource allocation underlying the G-AMG operation. It is shown that similar to the case of some previously studied RAS structures, non-liveness of the resource allocation taking place in the G-AMG context can be attributed to a structural object known as resource-induced deadly marked siphon, that is developed in a properly defined projection of the net reachability space. Beyond its theoretical significance in terms of formally characterizing and understanding the nature of deadlock or livelock that can occur in the considered resource allocation context, the aforementioned result is also deemed to be important from the practical standpoint of synthesizing liveness-enforcing supervisors (LES), since it is expected to enable LES synthesis through application of the correctness verification methodology originally developed in (J. Park and S. Reveliotis, 2001); the actual potential of this approach is currently under investigation. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1109/ROBOT.2003.1241730 | Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference |
Keywords | Field | DocType |
Petri nets,constraint theory,graph theory,resource allocation,synchronisation,Petri net subclass,generalized augmented marked graphs,liveness-enforcing supervisors,net reachability space projection,resource allocation system,resource-induced deadly marked siphon,structural analysis,synchronization constraint | Graph theory,Synchronization,Petri net,Computer science,Correctness,Deadlock,Theoretical computer science,Reachability,Resource allocation,Distributed computing,Liveness | Conference |
Volume | Issue | ISSN |
1 | 1 | 1050-4729 |
ISBN | Citations | PageRank |
0-7803-7736-2 | 5 | 0.48 |
References | Authors | |
5 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Spyros A. Reveliotis | 1 | 140 | 18.02 |