Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'
Year: 2014
Type: preprint
Abstract: Luo et al. proposed a new method to design the maximally permissive and efficient supervisor for enforcing linear constraints on an ordinary Petri net with uncontrollable transitions. In order to develop this method, Theorem 3 is given. It is claimed that 'a linear constraint can be equivalently transformed at an uncontrollable transition into a disjunction of weakly admissible ones.' However, this result is erroneous. In this correspondence paper, a counterexample contradicting it is presented.
Source: arXiv (Cornell University)
Authors: Wang, Shouguang, Yang, Jing, Zhou, Mengchu
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2407444599