Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors

Table 2

Monitors added at the first phase.

		Preset	Postset
	2
	2
	5
	2
	5
	2
	3