文献类型：期刊文献

中文题名：一种形式化的工作流网模型

英文题名：A Formal Model of Workflow Net

作者：郑红[1];宋国新[1]

机构：[1]华东理工大学计算机科学与工程系,上海200237

年份：2007

卷号：33

期号：1

起止页码：93

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;Scopus;北大核心:【北大核心2004】；CSCD:【CSCD2011_2012】；

基金：教育部科学技术研究重点项目(01077);华东理工大学博士基金资助

语种：中文

中文关键词：工作流;工作流管理系统;Petri网;形式化;建模

外文关键词：workflow; workflow management system; Petri net ;formal; modeling

摘要：提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。
A workflow modeling method based on Petri nets is put forward, and dynamic behaviors of workflows are described and analyzed by means of the formal model. The detailed modeling mechanisms are given.