%0 Journal Article
%T 串行加工系统Petri网控制器的形式化设计方法
%A 叶尚辉
%A 李志武
%A 贾建援
%J -
%D 1997
%K Petri网控制器
%K 资源向量
%K 资源极大网
%K 标志容量
%U http://www.aas.net.cn:80/article/id/17062