基于同步网的印刷生产工作流建模.pdfVIP

Vol. 26 No. 11 计算机应用 第 26 卷第 11 期 2∞6 年 11 月 Computer Applications Nov. 2006 文章编号:1001 -9081(2∞6)11 -2742 -03 基于同步网的印刷生产工作流建模 王秀坤1 ，张静1 ，程文树1 ，扎那1 气刘亚欣1.3 (1.大连理工大学电子与信息工程学院，辽宁大连 116024; 2. 大连民族学院计算机科学与工程学院，辽宁大连 116024; 3. 大连交通大学软件学院，辽宁大连 116024 ) ( zj4425@ hotrnai l. com) 摘要:引入了一种基于 Petri 网和 C_net 的形式化工作流模型一一同步网模型，克服了以往用 普通petri 网建模的不足之处，使模型变得直观、简单、并有利于模型分析和仿真实现。结合印刷企业 的业务流程，讨论了该模型的具体应用，并对该模型的正确性进行了验证。 关键词:同步网;工作流;过程建模;印刷 中图分类号: TP391.9 文献标识码:A Modeling of synchronization-net-based printing workflow 1 1 1 12 3 WANG Xiu-kun , ZHANG Jing , CHENG Wen-shu , ZHA Na . , LIU Ya_xin 1. (1. Sclwol of Electronic and lnformωion Engineeri略 Dalian University of Techrwlogy, Dalian Liαoni昭 116024， China; 2. lnstitωe of Computer Science and Engineering, Dalian Mωionalities University, Dal向日 μωning 116600, China; 3. Software lnstitute, Dalian Ji，ωωng University, Dalian Liωning 116028, China) Abstract: Synchronization net model , a formal workf1ow model based on Petri-net and C _ net , was introduced. It conquered the shortages of Petri net-based modeli吨， and became directly perceptible , and easy to be analyzed and simulated. A case study of print business pr田ess was provided to illustrate the application of this method , and to prove its correctness. Key words: synchronization net; workflow;