对‘基于新约束变换方法的最许可监督器综合’的评论
Comments on 'Maximally permissive supervisor synthesis based on a new constraint transformation method'
AI总结：
本文指出Luo等人提出的约束转换方法存在错误，通过反例证明其结论不成立，质疑其在普通Petri网中设计最许可监督器的有效性。
摘要：
Luo等人提出了一种新的方法，用于设计能够强制线性约束的最许可且高效的监督器，用于普通Petri网中不可控转移。为了开发此方法，给出了定理3。声称‘线性约束可以等效地在不可控转移上转换为弱可接受的析取。’然而，这一结果是错误的。在本文的通信论文中，提出了一个反例，以证明其结论不成立。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
