Deadlock Prevention Policy with Behavioral Optimality or Suboptimality Achieved by the Redundancy Identification of Constraints and the Rearrangement of Monitors
Algorithm 2
Synthesis of a more permissive supervisor.
Input: Net , with .
Output: A more permissive supervisor , .
(1) begin
(2) . denotes the set of monitors with rearranged output arcs
(3) while
(3.1) Choose a monitor from ; ; .
The resulting net is denoted by , , where .
(3.2) Find , where and is the total number of processes.
is the SMS controlled by
(3.3) foreach ,
(3.3.1) ; ; .
and denote two sets of operation places
(3.3.2) while
(3.3.2.1) Choose ; .
(3.3.2.2) ; .
(3.3.2.3) with rearranged output arcs is added to ,
such that is a -invariant of the resulting net,
denoted by , , where and .
(3.3.2.4) if
(3.3.2.4.1) .
(3.3.2.5) else
(3.3.2.5.1) ; ; .
(3.3.2.6) Remove from , and obtain , .
(3.3.3) if
(3.3.3.1) ; ; go to (3.3.2)
(3.4) with rearranged output arcs is added to , such that is a -invariant