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

Table 2

Marking relationships between dependent and elementary siphons.

Dependent	relationship	Initial marking relationships,	Controlled
		3 > (2 + 2) − (1 + 1), 3 > 2	Yes