Research Article
Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems
Table 6
Main parameters of all case studies.
| | Parameter | Case study | | 1 | 2 | 3 | 4 |
| | Number of places | 26 | 26 | 20 | 19 |
| | Number of transitions | 20 | 20 | 16 | 14 |
| | Set partition |
|
|
|
|
| | SMS | 11 | 18 | 12 | 5 |
| | Dependent siphons | 6 | 9 | 7 | 2 |
| | Elementary siphons | 5 | 9 | 5 | 3 |
| | Reachable markings | 1492 | 26750 | 836 | 282 |
| | FBMs | 388 | 4211 | 156 | 54 |
| | Legal markings | 1072 | 21581 | 656 | 205 |
| | 9 | 34 | 7 | 8 |
| | 92 | 393 | 56 | 26 |
|
|
