CAJ | 학술논문

建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容.文章介绍了着色Petri网和着色工作流网(CWF-nets)的相关概念,给出了一种分析CWF-nets的正确性的极大变迁序列方法,并通过对一个项目金额申报业务流程的建模和分析,验证了基于CWF-nets模型的正确性.
건모시공작류기술중적핵심공작,야시공작류기술중적일개중요연구내용.문장개소료착색Petri망화착색공작류망(CWF-nets)적상관개념,급출료일충분석CWF-nets적정학성적겁대변천서렬방법,병통과대일개항목금액신보업무류정적건모화분석,험증료기우CWF-nets모형적정학성.
Modeling is a core job and one of the most important research fields in workflow technology.In this paper,the related concepts on colored Petri nets and Colored Workflow Nets(CWF-nets) are introduced,and then the Great Transition List method,a method of analyzing the correctness of CWF-nets,is presented.In the end,a CWF-nets model of project amount declaration process is de-signed to verify its correctness.