%0 Journal Article
%T The Control Strategy for the Firing Sequence Problem<br>点发序列问题的控制策略
%A Xing Keyi
%A Li Junmin
%A Xu Xiangqin
%A Hu Baosheng
%A <br>邢科义
%A 李俊民
%A 许祥秦
%A 胡保生
%J 自动化学报
%D 1997
%I 
%X In this paper we use Petri nets to model a discrete event system, and discuss whether or not there exists a control strategy by which only the specified target firing sequences can be enabled. It is proved that a necessary and sufficient condition for the existence of such strategy is that the set of the specified target firing sequences are controllable. For the case where the firing sequence sets involved are Petri net firing sequence sets we present a method for synthesizing a control strategy by which the closed loop system can generate the supremal controllable subset of a given firing sequence set.
%K Firing sequence problem
%K Petri net
%K control strategy<br>点发序列问题
%K Petri网
%K 控制策略
%K 离散事件系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=6E3BA048D1880CDE06D0BEA9B79DF954&yid=5370399DC954B911&vid=EA389574707BDED3&iid=E158A972A605785F&sid=51F9E747BA1ACB45&eid=B7B25E832E7F23D8&journal_id=0254-4156&journal_name=自动化学报&referenced_num=0&reference_num=0