期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用被引量：1

下载PDF

导出

摘要随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法。

作者刘玉林吴晓群

机构地区内蒙古大学计算机院山西省交通运输管理局

出处《长春师范学院学报》 2000年第2期61-63,共3页 Journal of Changchun Teachers Coliege

关键词 PETRINET 工作流技术形式描述技术 WF-NET 工作

分类号 TP393 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

同被引文献8

1周浩华,蔡坚铮.用Java开发基于Web的定制工作流[J].华南理工大学学报（自然科学版）,1998,26(12):58-64. 被引量：6
2刘大昕,李宁宁,曹瀚,聂亚杰.工作流管理技术及其在MIS建模中的应用研究[J].计算机应用研究,2000,17(4):14-16. 被引量：9
3沈军营,黄进,严隽琪.虚拟企业中的工作流技术研究[J].计算机集成制造系统-CIMS,2000,6(2):7-10. 被引量：19
4张德壮,李俊海,耿继秀.工作流管理系统综述[J].计算机应用,2000,20(5):34-36. 被引量：18
5罗海滨,范玉顺,吴澄.一种面向企业用户的工作流模型[J].计算机集成制造系统-CIMS,2000,6(3):55-59. 被引量：50
6朱云龙,薛劲松,李红信,于海斌,马力.基于Agent的工作流协调模型研究[J].小型微型计算机系统,2000,21(7):737-739. 被引量：18
7李寿兵,张佑生,刘立华.工作流管理技术[J].微型电脑应用,2000,16(6):28-30. 被引量：24
8牛军钰,赵大哲,赵宏.一个基于WWW的工作流管理系统[J].东北大学学报（自然科学版）,2000,21(1):22-25. 被引量：9

引证文献1

1张征,王红卫.基于Web技术的工作流管理信息系统[J].计算机与数字工程,2001,29(4):52-56. 被引量：2

二级引证文献2

1陈绍伟,刘清友,张曜明,邓秋生.基于J2EE的工作流技术在油田信息系统的应用[J].计算机技术与发展,2007,17(4):89-92.
2林坜,张新,李杰,杨峰.北运河综合信息管理系统的设计与开发探讨[J].南水北调与水利科技,2010,8(2):142-145. 被引量：4

1史美林,闵京华.形式描述技术:直观LOTOS的提出和研究[J].通信学报,1989,10(4):28-38. 被引量：1
2李腊元.一种适用于局网的传输协议及其形式描述[J].计算机应用与软件,1994,11(2):38-45.
3满毅,单洪.形式描述技术在通信协议安全分析中的应用[J].计算机应用,2008,28(B06):95-97.
4李腊元.协议工程的形式描述技术[J].系统工程与电子技术,1992,14(11):56-63.
5罗军舟,seu.edu.cn,沈俊,顾冠群.从Petri网到形式描述技术和协议工程[J].软件学报,2000,11(5):606-615. 被引量：41
6张尧学,史美林,朱劲松.一个基于知识的通信有限状态机生成器[J].通信学报,1992,13(2):10-14. 被引量：3
7徐志农.通用Petri网应用系统中Petri网库的组织和设计[J].暨南大学学报（自然科学与医学版）,1993,14(1):33-36.
8潘红艳,于全.用于通信网络协议开发的形式化方法[J].计算机工程,2004,30(2):129-130. 被引量：8
9李伟.LOTOS语言介绍[J].计算机与信息处理标准化,1996(3):19-44.
10宋瑾钰,魏仰苏.基于SDL的PPP协议软件形式化开发[J].浙江理工大学学报（自然科学版）,2005,22(3):250-253.

长春师范学院学报

2000年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部