%0 Journal Article
%T 一种形式化的工作流网模型
%A 郑红
%A 宋国新
%J 华东理工大学学报
%P 93-95123
%D 2007
%X 提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。
%K 工作流
%K 工作流管理系统
%K Petri网
%K 形式化
%K 建模
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=20070122&flag=1