Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems

Table 7

Supervisor performance of applied algorithms for all case studies.

Case study	Parameter	Algorithm 2	Algorithm 8	Algorithm 9	Algorithm 10
1	Monitors number	11	5	3	3
	Arcs number	66	23	14	31
	Reachable states number	1072	1072	1072	1072
2	Monitors number	18	9	6	6
	Arcs number	106	50	45	59
	Reachable states number	6287	6287	21581	21581
3	Monitors number	12	5	4	4
	Arcs number	61	25	21	21
	Reachable states number	436	489	656	656
4	Monitors number	5	3	2	2
	Arcs number	21	13	15	12
	Reachable states number	182	205	205	205