Petri 网结点精化及其应用

摘要：

在Petri网精化概念的基础上，给出一种解决Petri网结点爆炸问题的方法，该方法针对精化的定义，从库所和变迁的约束条件入手，分析结点精化的可行性和方法，并给出证明。该方法的建立为今后利用Petri网进行建模提供了必要帮助。

关键词：Petri网、精化、建模

分类号：TP301.2(计算技术、计算机技术)

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

页数：共5页

页码：125-128,132