期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
串行加工系统Petri网控制器的形式化设计方法 被引量：6
1
作者 李志武 贾建援 叶尚辉 《自动化学报》 EI CSCD 北大核心 1997年第2期213-219,共7页
提出了串行加工系统控制描述规格说明的设计方法，研究了规格说明的Ｐｅｔｒｉ网语义．提出了系统Ｐｅｔｒｉ网控制器具有活性等希望性质的初始标识的确定算法．
关键词 PETRI网 控制器 串行加工系统 柔性制造
下载PDF
一类s-组合Petri网模型及其结构分析研究
2
作者 张东红 蔡崇春 《安康师专学报》 2001年第3期54-56,共3页
基于Petri网模型建立了一类串行加工系统的s-组合Petri网模型。通过引入潜在死锁圈概念对s-组合Petri网结构性质进行分析 ,给出了系统死锁存在的充分必要条件 .
关键词 PETRI网模型 串行加工系统 s-组合Petri网 死锁 柔性制造加工系统
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部