A simple Suboptimal siphon‐based control model of a well‐known S3PR
Daniel Yuh Chao, Guan Jun Liu · Asian Journal of Control · 2010
Abstract Siphon‐based deadlock control suffers from reaching fewer states than the maximally permissive one. We report an alternative control to reach the same good states as that based on the theory of regions, but with fewer monitors, by refining some monitors into several monitors with smaller controller regions. More states can be reached since the controller region is less disturbed by covering only a place in a subregion where only one place is marked at any reachable marking. Formal proof of the correctness is provided. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society