Petri网在业务过程建模中的应用

被引：26

作者：

李红臣

史美林

机构：

[1] 清华大学计算机科学与技术系!北京

来源：

小型微型计算机系统 | 2001年 / 01期

关键词：

工作流管理系统; 工作流模型; Petri网;

D O I：

暂无

中图分类号：

TP393 [计算机网络];

学科分类号：

081201 ; 1201 ;

摘要：

业务过程建模是工作流管理系统的基础 ,当前人们对业务过程建模技术还缺乏系统研究 .本文主要结合我们实现的业务过程建模工具综述了 Petri网在业务过程的形式化表示、正确性证明、性能评价和模型优化等方面的应用

引用

收藏

页码：29 / 32

页数：4

相关论文

共 1 条

[1] Petri nets for protocol engineering [J].

Cheung, TY .

COMPUTER COMMUNICATIONS, 1996, 19 (14) :1250-1257