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