一种形式化的工作流网模型

郑红, 宋国新. 一种形式化的工作流网模型[J]. 华东理工大学学报（自然科学版）, 2007, (1): 93-95123.

引用本文:

郑红, 宋国新. 一种形式化的工作流网模型[J]. 华东理工大学学报（自然科学版）, 2007, (1): 93-95123.

ZHENG Hong, SONG Guo-xin. A Formal Model of Workflow Net[J]. Journal of East China University of Science and Technology, 2007, (1): 93-95123.

Citation:

ZHENG Hong, SONG Guo-xin. A Formal Model of Workflow Net[J]. Journal of East China University of Science and Technology, 2007, (1): 93-95123.

A Formal Model of Workflow Net

摘要: 提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。

Abstract: 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.

/