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