文件名称：一种有时间约束的复杂Petri网建模方法 (2012年)
文件大小：383KB
文件格式：PDF
更新时间：2024-06-13 02:56:55
自然科学 论文
在面向对象技术和时间约束Petri网的基础上，给出面向对象时间Petri网的定义、变迁发生的条件、后果等动态运行规则及建模方法，以降低有时间约束复杂系统的建模难度；提出时延关联矩阵的概念和计算方法，用于判断变迁是否有发生权以及计算变迁发生效果，证明相关定理，以增强系统的分析能力。在实际建模过程中，通过计算时延关联矩阵，找出系统的时间瓶颈，为改进和优化系统提供理论依据。通过保险索赔过程的建模和实例分析，证明了本文所提方法的有效性。