%0 Journal Article
%T 串行加工系统Petri网控制器的形式化设计方法
%A 李志武
%A 贾建援
%A 叶尚辉
%J 自动化学报
%P 213-219
%D 1997
%X ？提出了串行加工系统控制描述规格说明的设计方法,研究了规格说明的Petri网语义.提出了系统Petri网控制器具有活性等希望性质的初始标识的确定算法.这样的Petri网控制器经编译或算法转换可直接对系统进行实时控制.
%K Petri网控制器
%K 资源向量
%K 资源极大网
%K 标志容量
%U http://www.aas.net.cn/CN/abstract/abstract17062.shtml