%0 Journal Article
%T 基于柔性制造系统的Petri网模型简化规则
%A 杨欣
%A 陈丽娟
%A 费树岷
%J 计算机集成制造系统
%P 0-0
%D 2006
%X 为解决Petri网模型中的状态爆炸问题，提出了一种将简化规则应用到Petri网模型中的方法。该方法通过库所和变迁的合并与消除，来达到简化模型的目的。以柔性制造系统的加工站为例，建立加工站的Petri网模型，将简化规则应用到改进的加工站模型中。为了说明简化网保持了原网的外部功能，利用基于时序Petri网的时态逻辑规则进行了证明。结果显示，简化网在保持功能性的基础上，提高了验证和分析的效率。
%K 简化规则
%K Petri网模型
%K 柔性制造系统
%U http://www.cims-journal.cn/CN/abstract/abstract1365.shtml