摘要
在面向对象技术和时间约束Petri网的基础上,给出面向对象时间Petri网的定义、变迁发生的条件、后果等动态运行规则及建模方法,以降低有时间约束复杂系统的建模难度;提出时延关联矩阵的概念和计算方法,用于判断变迁是否有发生权以及计算变迁发生效果,证明相关定理,以增强系统的分析能力。在实际建模过程中,通过计算时延关联矩阵,找出系统的时间瓶颈,为改进和优化系统提供理论依据。通过保险索赔过程的建模和实例分析,证明了本文所提方法的有效性。
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 ability was increased. The delay time related matrix was computed to fred 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 the proposed method is effective.
出处
《中南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2012年第3期1027-1032,共6页
Journal of Central South University:Science and Technology
基金
湖南省科技计划项目资助(2011GK3113)
关键词
面向对象
时间约束
动态运行规则
时延关联矩阵
object-oriented
time constraints
dynamic working rules
delay time related matrix
