Name
Abstract | ||
|---|---|---|
The paper presents two methods for deadlock avoidance in concurrent systems. We apply the proposed approaches to flexible manufacturing systems, modeled by means of Petri nets. Both methods correspond to improvements of the classical Banker's algorithm, and are based on the knowledge of the process structure. The first one is polynomial in the size of the Petri net model. The second one depends strongly on the number of alternative paths for the processing of parts and can be of a non-polynomial cost. |
Year | DOI | Venue |
|---|---|---|
2000 | 10.1109/ROBOT.2000.846460 | ICRA |
Keywords | Field | DocType |
petri nets,petri net,polynomials,control systems,routing | Petri net,Banker's algorithm,Polynomial,Assembly systems,Computer science,Manufacturing systems,System recovery,Deadlock,Control engineering,Control system | Conference |
Volume | Issue | ISSN |
3 | 1 | 1050-4729 |
Citations | PageRank | References |
2 | 0.56 | 5 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Fernando Tricas | 1 | 143 | 11.01 |
| José Manuel Colom | 2 | 341 | 31.92 |
| Joaquin Ezpeleta | 3 | 43 | 3.67 |