A best deadlock control for S3PMR to reach all states
Daniel Yuh Chao, Ting‐Yu Chen, Jiun‐Ting Chen, Kuo‐Chiang Wu · Asian Journal of Control · 2011
Abstract This study proposes a new approach that recovers the system from deadlock states to its former live states, and reaches the same number of states as the original uncontrolled model by adding monitors (and control arcs) with no new problematic siphons. We further propose a lossless approach by coloring some arcs to avoid the material loss. Copyright © 2011 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society