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