%0 Journal Article
%T A Formal Design Method of Petri Net Controllers for Sequential Manufacturing Systems<br>串行加工系统Petri网控制器的形式化设计方法
%A Li Zhiwu
%A Jia Jianyuan
%A Ye Shanghui
%A <br>李志武
%A 贾建援
%A 叶尚辉
%J 自动化学报
%D 1997
%I 
%X 提出了串行加工系统控制描述规格说明的设计方法，研究了规格说明的Ｐｅｔｒｉ网语义，提出了系统Ｐｅｔｒｉ网控制器具有活性等希望性质的初始标识的确定算法，这样的Ｐｅｔｒｉ网控制编译或算法转换可直接对系统进行实时控制。
%K Petri net controller
%K resource vector
%K resource maximum Petri net
%K token capa city<br>Petri网
%K 控制器
%K 串行加工系统
%K 柔性制造
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=AB8B1644A794D6C439085CDEC4342968&yid=5370399DC954B911&vid=EA389574707BDED3&iid=0B39A22176CE99FB&sid=527AEE9F3446633A&eid=D5C73DEF4CF8FAF3&journal_id=0254-4156&journal_name=自动化学报&referenced_num=5&reference_num=4