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

第12卷第11期 计算机集成制造系统 V01．12No．11 2OO6年11月 ComputerIntegratedManufacturingSystems Nov．2OO6 文章编号：1006～5911(2006)11—1789一05 基于柔性制造系统的Petri网模型简化规则 杨欣1，陈丽娟2，费树岷1 (1．东南大学自动控制系自动化所，江苏南京210096； 2．东南大学电气工程系，江苏 南京 210096) 摘要：为解决Pet“网模型中的状态爆炸问题，提出了一种将简化规则应用到Petri网模型中的方法。该方 法通过库所和变迁的合并与消除，来达到简化模型的目的。以柔性制造系统的加工站为例，建立加工站的Petri网 模型，将简化规则应用到改进的加工站模型中。为了说明简化网保持了原网的外部功能，利用基于时序Petri网的 时态逻辑规则进行了证明。结果显示，简化网在保持功能性的基础上，提高了验证和分析的效率。 关键词：