摘要
使用工作流网(WF-nets)描述工作流的业务流程时,可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上,定义了一种基于有色Petri网的工作流网模型CWF-nets,给出了严格的定义和变迁发生机制,并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑,且这种逻辑结构与工作流具体案例的属性数据无关,避免了上述问题。
Some inconsistencies in the definition of WF_ nets that was used in workflow describing were discussed in this work. This kind of inconsistency might bring some logic ambiguities into business process flow description. Based on the analysis, a workflow net model CWF_ nets, which was based on colored Petri nets, along with the validity analysis were proposed. By using CWF nets, a business process flow could be modeled in a definite way, and in this workflow model the logic of procexs was independent of the business cases' attribute, thus that ambiguity in modeling workflow system could be avoided.
出处
《武汉理工大学学报》
EI
CAS
CSCD
北大核心
2007年第3期134-137,共4页
Journal of Wuhan University of Technology
基金
国家自然科学基金资助项目(40304010)