一种有时间约束的复杂petri网建模方法-中南大学学报.pdfVIP

第 43 卷第 3 期 中南大学学报(自然科学版)  Vol.43  No.3  2012 年 3 月  Journal of Central South University (Science and Technology)  Mar. 2012  一种有时间约束的复杂 Petri 网建模方法 黄敏，魏伟  (长沙理工大学 计算机与通信工程学院，湖南 长沙，410014)  摘要：在面向对象技术和时间约束 Petri 网的基础上，给出面向对象时间 Petri 网的定义、变迁发生的条件、后果 等动态运行规则及建模方法，以降低有时间约束复杂系统的建模难度；提出时延关联矩阵的概念和计算方法，用 于判断变迁是否有发生权以及计算变迁发生效果，证明相关定理，以增强系统的分析能力。在实际建模过程中， 通过计算时延关联矩阵，找出系统的时间瓶颈，为改进和优化系统提供理论依据。通过保险索赔过程的建模和实 例分析，证明了本文所提方法的有效性。 关键词：面向对象；时间约束；动态运行规则；时延关联矩阵 中图分类号：TP391  文献标志码：A  文章编号：1672−7207(2012)03−1027−06  Onemodelingmethodresearch of complexPetri netswith  timingconstraint  HUANG Min,WEI Wei  (College ofComputer andCommunication Engineering, ChangshaUniversity of Science andTechnology,  Changsha410014,China)  Abstract: Oriented object timing constraint Petri nets were defined. Dynamic working rules and modeling methods were  proposed based on object­oriented technology and time constraints of Petri nets to reduce the difficulty of complex Petri  nets with timing constraint. The conception of delay time related matrix and its computing method were proposed. The  happening right of transition can be judged and its effect can be computed. The related theorem was proved. So the  analysis abilitywas increased. The delay time related matrix was computed to find the system’s bottleneck in the process  of modeling. Therefore,the theory evidence was obtained to improve and optimize the system. The example of insurance  claiming process shows that theproposedmethod is effective.  Keywords: object­oriented; time