|
|||||
|
|
| Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用 | |
| 引用本文： | 刘玉林,吴晓群.Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用[J].长春师范学院学报,2000(2). |
| 作者姓名： | 刘玉林 吴晓群 |
| 作者单位： | 内蒙古大学计算机院!010021(刘玉林)，山西省交通运输管理局!030002(吴晓群) |
| 摘 要： | 随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法 ,并给出一个具体实例 |
| 关 键 词： | PetriNet工作流 形式描述 |
| 本文献已被 CNKI 等数据库收录！ | |