顺序共享资源制造系统Petri网控制器的形式化设计方法
A Formal Design Method of Petri Net Controllers for Manufacturing Systems with Shared Resources作者机构：西安电子科技大学机电工程学院西安710071
出 版 物：《机械科学与技术》 (Mechanical Science and Technology for Aerospace Engineering)
年 卷 期：2002年第21卷第3期
页 面：488-490页
核心收录：
学科分类：080202[工学-机械电子工程] 08[工学] 0802[工学-机械工程]
主 题：共享资源 资源向量 截断迹 Petri网控制器 FMS 制造系统 形式化设计方法
摘 要：基于通信顺序进程和资源向量的有关概念 ,提出了截断迹及截断迹集 ,研究了系统具有共享资源时标志容量的计算方法 ,提出了具有顺序共享资源制造系统
维普期刊数据库
同方期刊数据库