基于柔性制造系统的Petri网模型简化规则

摘要：

为解决Petri网模型中的状态爆炸问题,提出了一种将简化规则应用到Petri网模型中的方法.该方法通过库所和变迁的合并与消除,来达到简化模型的目的.以柔性制造系统的加工站为例,建立加工站的Petri网模型,将简化规则应用到改进的加工站模型中.为了说明简化网保持了原网的外部功能,利用基于时序Petri网的时态逻辑规则进行了证明.结果显示,简化网在保持功能性的基础上,提高了验证和分析的效率.

关键词：简化规则、Petri网模型、柔性制造系统

所属期刊栏目：12

分类号：TP393(计算技术、计算机技术)

在线出版日期：2006-12-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1789-1793