Petri网化算法及其动态特性研究.pdfVIP

摘 要 对于大而复杂的Petri网，“节点过多，状态爆炸”一直是阻碍其技术发展的主要问题， 干子网是一个很有效的方法。就目前的研究情况而言，Petd网化简技术的研究主要集中 ．网的分解技术。 其中，Petri网的分解技术是近几年来Pelri网化简技术研究的主流方向，也是被认 为解决网“状态爆炸”问题的最有效途径。 本文主要研究Petri网的分解技术，依据指标函数的概念，并给出其形式化定义， 依据该定义，提出了一种Petri网的分解定义，给出了相关算法，并将该算法与传统的 并分解算法相比较，体现其优越性。在此基础上，依据所给出的算法研究化简技术的动 态特性，针对动态库所、活性、有界性和安全性、公平性做了深入分析，严格论证了依 据该算法分解后的子网与原网在上述特性上的保持关系，并举出实例，更为形象的说明 了算法的有效性。 最后，结合生产者．消费者系统和多处理机系统，利用该算法研究其行为，体现了 用该算法分析实际问题的便利性。 关键词：Petri网；化简；分解技术；动态特性；指标函数：状态爆炸 ABSTRACT Forthe and Petri the net,the big complicated mainlyproblemhinderingtechnology is muchnodesleadtostation howto Petri developmentalways”too explosion”．Sosimplify has a focusand ittobe a net beenresearch severalsubnetsis very effectivelyalways simplify therecentresearch of Petri effectivemethod．From reduction of situation,the study technique net onthe three simulation based focus following and details mainly aspects：Level neglected Petri basedPetri Petrinet． on on net；Reductiontechnique net；Decomposition technique ofPetrinetisthemainstreamdirectionof Amongthose，thedecomposition technique Petri reduction andthemosteffective tosolvethe of net’s technique approach problem “stati