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