%0 Journal Article
%T Supervisor Synthesis of Petri Net Based on Structural Analysis<br>基于Petri网结构分析的监控器综合
%A WU Min
%A YAN Gang-Feng
%A ZHANG Yao-Yao
%A LIU Mei-Qin
%A <br>吴敏
%A 颜钢锋
%A 张瑶瑶
%A 刘妹琴
%J 自动化学报
%D 2008
%I 
%X The method of constraints transformation based on local information is initiated for the structural supervisor synthesis of the discrete event system (DES) modeled by Petri nets.Specifications are described by constraints which may become illegal due to the uncontrollable or unobservable transitions.Forward-related structures of uncontrollable transitions and backward-related structures of unobservable transitions are analyzed separately,and local transitions can be used to realize the indirect control of the uncontrollable and unobservable transitions,which can transform illegal constraints into legal ones and still assure the original control specifications.Compared to matrix-based supervisor synthesis,the method of this paper needs only local information instead of global information.A real-world example is explained to describe the method.
%K Discrete event systems (DES)
%K Petri nets
%K supervisor synthesis
%K uncontrollable and unobservable transitions<br>离散事件系统
%K Petri网
%K 监控器综合
%K 不可控不可观变迁
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=E0DE6F46509B3E325C4F317AB47EE829&yid=67289AFF6305E306&vid=339D79302DF62549&iid=5D311CA918CA9A03&sid=5357CC5E80802025&eid=E151839C3C081609&journal_id=0254-4156&journal_name=自动化学报&referenced_num=0&reference_num=10