A simple Suboptimal siphon-based control model of a well-known S3PR

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.