点击次数：

论文类型：期刊论文

发表时间：2004-09-16

发表刊物：计算机研究与发展

收录刊物：PKU、ISTIC、CSCD

卷号：41

期号：9

页面范围：1545-1553

ISSN号：1000-1239

关键字：Petri网;位置/变迁细化;工作流;参与者;任务分配

摘要：通过对工作流中参与者机制进行的分析,提出了一种基于Petri网的工作流参与者建模的方法,给出了参与者静态、竞争、优先和委托模型的Petri网表示,并对基于Petri网工作流变迁和位置节点的细化,揭示了工作流过程的执行阶段的任务分配与参与者状态之间的关系,表明工作流过程实例的真实执行路线是由参与者当时的状态动态决定的.