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

摘要：

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

关键词：面向对象、时间约束、动态运行规则、时延关联矩阵

所属期刊栏目：43

分类号：TP391(计算技术、计算机技术)

资助基金：湖南省科技计划项目资助2011GK3113

在线出版日期：2012-08-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1027-1032