Petri网共享PB型子网合成及其在系统设计中的应用

• 作者: 夏传良
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: Petri网 合成 有界性 活性 系统设计
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 复杂系统建模与仿真
• 页码范围: 846-851,889
• 页数: 7页
• 分类号: TP31
• 字数: 10071字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2007.04.039

摘要

针对柔性制造系统的共享子系统设计问题,提出了经由Petri网共享PB-型子网(Place Bordered Subnet)构成共享PB-型子网合成网的解决方案;研究了共享PB-型子网合成的动态性质保持问题.给出了合成网保持活性和有界性的一组充分条件或充要条件;对一个柔性制造系统进行了设计和分析.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义.