顺序共享资源制造系统Petri网控制器的形式化设计方法

• 作者: 李志武 郝林
• 来源期刊: 机械科学与技术
• 学科: 工学
• 关键词: 共享资源 资源向量 截断迹 Petri网控制器
• 年，卷（期）: 2002,（3）
• 所属期刊栏目: 实验研究
• 页码范围: 488-490
• 页数: 3页
• 分类号: TP278
• 字数: 4433字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-8728.2002.03.052

摘要

基于通信顺序进程和资源向量的有关概念,提出了截断迹及截断迹集,研究了系统具有共享资源时标志容量的计算方法,提出了具有顺序共享资源制造系统Petri网控制器的形式化设计理论和方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武	西安电子科技大学机电工程学院	39	141	6.0	9.0
2	郝林	西安电子科技大学机电工程学院	1	3	1.0	1.0