Petri网改进可覆盖性树构造算法.pdfVIP

Petri网改进的可覆盖性树的构造算法宰 高茜 周大均 李爱民 山东轻工业学院现代教育技术中心，山东济南250353 摘要：Petri网是一种系统描述和分析的工具。在Petri网的诸多性质研究中，可达性研究大概是最 基本的一个动态性质研究。可达性在一定意义上可说是研究Petri网其它动态性质的基石，许多其它问 题都可以通过可达性问题来叙述。通过对加权无界Petri网进行研究，本文找出了不能仅靠可覆盖性树 对无界Petri网的可达性进行判定的原因。基于通过使用某个关于正整数的表达式去代替代表任意正整 数的∞来减少这种“跨度”的思想，对可覆盖性树的节点作了一些适当的改进，通过将可覆盖性树中的 节点细化为：序列节点、复制节点、准复制节点的方法，从而令无界Petri网运行过程中的信息丢失减 小，为一个任意的Petri网(包括无界Pe仃i网)的可达性判定方法提供了依据。 关键词：可达性改进的可覆盖性树复制节点序列节点准复制节点 1引 言 1．1利用可覆盖性树进行可达性判定的局限性 在Petri网的诸多性质研究中，可达性研究大概是最基本的一个动态性质研究。可达性在一定意义上可 说是研究Pe仃i网其他动态性质的基石，许多其他问题都可以通过可达性问题来叙述。由此可见，若可达性 判定问题得到解决，其他的诸如活性等动态性质便有望迎刃而解12j。不幸的是，虽然我们可以利用可覆盖 对于无界Petri网来说，为了用有限形式表达一个具有无限个状态的系统的运行情况，我们引入了一个标识 无界量的∞，这样当库所中的标识数在Petri网的运行过程中趋于无限增长时，就可以用∞来标识向量中的第 j个分量，由此便可覆盖所有这类标识，从而使得我们能用一个有限树的形式来反映无限状态系统(无界Petri 网)运行的一些情况。但∞这个无界量的引入也导致了无界Petri网运行过程中的某些重要的信息的丢失，从 而使我们不能使用可覆盖性树来分析无界Petri网的各种动态性质13j。 1．2本项研究的必要性和创新性 可达性判定问题得不到解决，其他的诸如活性等动态性质研究就会陷入僵局，既然可覆盖性树的不确 定性是由∞的引入所带来的，那么能否通过对(o进行一些有意义的改进来减少无界Petri网运行过程中的信息 的丢失呢?基于这种思想，本文主提出了一个pe仃i网的改进的可覆盖性树的构造算法。通过将无界量∞这 个“跨度”减小，用某个关于正整数的表达式去代替代表任意正整数的∞，从而对可覆盖性图的节点作一些 适当的改进，最终在保证令改进的可覆盖性树在有限树形式下使无界Petri网可达性的分析变得容易起来。 关于Petri网及其可达性等概念，术语和记号请参看【l】，这里不作详述。 ‘作者简介：高茜(1978．7．)，女，辽宁省沈阳市，讲师，硕士研究生，主要研究方向：人工智能，Petri网． 2改进的可覆盖性树中的节点类型 在改进的的可覆盖性树(ICT)中，通过利用五类不同的树节点(具有各自不同的特性)限制了可覆盖性 树的规模，这五类树节点分别是：序列节点、复制节点、准复制节点、死节点以及一般节点。 node)：通过循环引发同一个节点序列所生成的新节点。 序列节点(sequence 复制节点(copiednode)：复制节点也就是在改进的可覆盖性树中已经出现的节点，对于这类节点不需 要去考虑它的后继(successor)，因为它所有的后继在它第一个出现时就已经产生了。 准复制节点(pmspectivecopiednode)：设标识V”是在标识V下经启动转移t所得到的后继标识节点，并 且在初始标识vo到V的有向路径上存在标识V’，V’≠V”，但是绝大部分在节点V’处可达的标识在节点V”下 也是可达的，我们就将标识V’所关联的树节点称为准复制节点。 死节点(deadnode)：在改进的可覆盖性树ICT的节点V下不能引发任何变迁的节点。 一般节点(generalnode)：泛指除以上四类节点之外的其它的所有的节点。 3算法中涉及到的术语 序列因子：对于序列节点来说，我们称循环引发的变迁序列为序列因子。一般地，若节Vi是一个序列 节点，我们记其序列因子为SF(Vi)。 导出序列：在ICT中，对于某节点Vi，我们先将从节点Vo到节点