节点文献
Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用
【摘要】 随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法 ,并给出一个具体实例
【关键词】 PetriNet工作流；
形式描述；
- 【文献出处】 长春师范学院学报 ,JOURNAL OF CHANGCHUN TEACHERS COLLEGE , 编辑部邮箱 ,2000年02期
- 【分类号】TP39
- 【被引频次】4
- 【下载频次】37