An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets

Table 1

Monitors added for the net shown in Figure 1(a).

	,	,	5
	,	,	5
			2
	,	,	6