论文部分内容阅读
使用工作流网(WF-nets)描述工作流的业务流程时,可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上,定义了一种基于有色Petri网的工作流网模型CWF-nets,给出了严格的定义和变迁发生机制,并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑,且这种逻辑结构与工作流具体案例的属性数据无关,避免了上述问题。