一种有时间约束的复杂Petri网建模方法

在面向对象技术和时间约束Petri网的基础上,给出面向对象时间Petri网的定义、变迁发生的条件、后果等动态运行规则及建模方法,以降低有时间约束复杂系统的建模难度;提出时延关联矩阵的概念和计算方法,用于判断变迁是否有发生权以及计算变迁发生效果,证明相关定理,以增强系统的分析能力。在实际建模过程中,通过计算时延关联矩阵,找出系统的时间瓶颈,为改进和优化系统提供理论依据。通过保险索赔过程的建模和实例分析,证明了本文所提方法的有效性。