Premium
A simple Suboptimal siphon‐based control model of a well‐known S 3 PR
Author(s) -
Chao Daniel,
Liu Guan Jun
Publication year - 2012
Publication title -
asian journal of control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.769
H-Index - 53
eISSN - 1934-6093
pISSN - 1561-8625
DOI - 10.1002/asjc.292
Subject(s) - siphon (mollusc) , deadlock , correctness , controller (irrigation) , simple (philosophy) , control (management) , deadlock prevention algorithms , control theory (sociology) , computer science , mathematics , programming language , artificial intelligence , biology , philosophy , ecology , epistemology , agronomy
iphon‐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