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

A Formal Model of Workflow Net

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

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

出　　处：《华东理工大学学报（自然科学版）》2007年第1期93-95,123,共4页Journal of East China University of Science and Technology

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

摘　　要：提出基于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.

关 键 词：工作流 工作流管理系统 PETRI网 形式化 建模 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]