基于Petri网的时间约束问题  

Time Constraint Research Based on Petri Nets

作　　者：王文彬[1] 刘文远[1] 

机构地区：[1]燕山大学经济管理学院,河北秦皇岛066004

出　　处：《河北大学学报（哲学社会科学版）》2010年第3期99-102,共4页Journal of Hebei University(Philosophy and Social Science)

摘　　要：为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型。首先给出条件模糊时间Petri网工作流的定义。然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性。最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有效地避免由于时间约束造成的工作流崩溃问题。To describe time constraints in a complex workflow system,a method of conditional fuzzy timing Petri nets was put forward.Firstly,the definition of conditional fuzzy timing Petri nets was proposed.Secondly,temporal reasoning method of three basic workflow patterns based on Petri net was presented,so that the global time constraint formula for each pattern is obtained.Finally,an application example of information system of administration and service for Tangshan urban-rural integration model was introduced to illustrate that the methods could effectively solve the problem of the workflow exceptions.

关 键 词：工作流 模糊时间PETRI网 时间约束 线性推理 

分 类 号：F24[经济管理—劳动经济]