Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation

Table 2

Behavior permissiveness of the proposed deadlock prevention policy.

𝑝1,𝑝8,𝑝14-𝑝19	𝑣1,𝑣2,𝑣3,𝑣4,𝑣5,𝑣6	𝐵𝑝	𝐵𝐿	𝐵𝑐/Li^′𝑠	𝐵𝑐/𝐵𝐿/Li^′𝑠
(1)3,3,1,3,1,2,3,2	[5,6,7,9,10,11]^𝑇	2946	2945	2945/2842	100%/96.500%
(2)3,4,1,4,1,1,3,3	[6,7,7,10,11,12]^𝑇	5235	5234	5234/4730	100%/90.388%
(3)4,4,1,5,1,1,2,4	[6,7,7,12,13,14]^𝑇	6877	6868	6868/6861	100%/99.898%
(4)4,5,1,5,2,2,4,5	[8,9,12,15,17,18]^𝑇	31759	31758	37758/29129	100%/91.722%
(5)5,5,1,6,1,1,3,5	[8,9,9,14,15,16]^𝑇	28243	28233	28233/28177	100%/99.802%
(6)5,6,1,7,1,6,3,1	[9,10,10,16,17,18]^𝑇	24448	24438	24438/24384	100%/99.779%
(7)6,6,3,7,3,3,5,7	[11,14,17,21,24,27]^𝑇	298725	298724	298724/290187	100%/97.142%