Hits:
Indexed by:期刊论文
Date of Publication:2004-09-16
Journal:计算机研究与发展
Included Journals:PKU、ISTIC、CSCD
Volume:41
Issue:9
Page Number:1545-1553
ISSN No.:1000-1239
Key Words:Petri网;位置/变迁细化;工作流;参与者;任务分配
Abstract:通过对工作流中参与者机制进行的分析,提出了一种基于Petri网的工作流参与者建模的方法,给出了参与者静态、竞争、优先和委托模型的Petri网表示,并对基于Petri网工作流变迁和位置节点的细化,揭示了工作流过程的执行阶段的任务分配与参与者状态之间的关系,表明工作流过程实例的真实执行路线是由参与者当时的状态动态决定的.
