基于面向对象技术的代数Petri网模型的研究

下载PDF

导出

摘要为了提高软件工程中可视化编程的开发效率,提出了一种基于面向对象技术的代数Petri网的模型.该方法可以有效地减少开发人员的学习时间,提高软件系统的健壮性和开发效率.

作者李金友纪洪波

机构地区通化师范学院计算机学院

出处《通化师范学院学报》 2014年第8期46-47,共2页 Journal of Tonghua Normal University

基金吉教科合字[2007]第216号

关键词面向对象代数Petri网软件工程抽象数据类型

参考文献4

1李金友,于远成.OOAPN模型建模工具正向代码的生成[J].通化师范学院学报,2009,30(8):24-26. 被引量：1
2Pillow. Pillow v2.2. 1 ( PIL fork ) tutorial [ EB/OL ]. http ://pil- low. readthedocs, org/en/latest/handbook/tutorial, htm1,2013.
3潘洪军,孙吉贵.面向对象代数Petri网[J].吉林大学学报（工学版）,2006,36(3):382-386. 被引量：7
4贾立新,薛钧义,茹峰.采用模糊Petri网的形式化推理算法及其应用[J].西安交通大学学报,2003,37(12):1263-1266. 被引量：66

1何新贵.模糊Petri网[J].计算机学报,1994,17(12):946-950. 被引量：54
2潘洪军,孙吉贵.面向对象代数Petri网[J].吉林大学学报（工学版）,2006,36(3):382-386. 被引量：7
3丛佩政,任爱华.基于面向对象Petri网的模型驱动开发方法的研究[J].微计算机信息,2006,22(10S):175-177. 被引量：14
4Lakos C A. LOOPN + + : a new language for object oriented Petri nets [ R ]. Australia. Science, Networking Research Group, 1994.
5Perkusich A, Figueiredo J C A. G-Nets: a petri net based approach for logical and timing analysis of complex software systems [ J ]. Journal of Systems and Software, 1997,39:39-59.
6Biberstein O livier, Buchs Didier. COOPN/2 an objectoriented specification language based on hierachical algebraic nets [ R ]. Germany : Ecole Polytechnique Federale de lausanne, 1994.
7Ehrig E, Hoffmann K, Padberg J, Baldan P, Heckel R. High level net processes [ C ]//LNCS 2300. Germany : Springer, 2002 : 191-219.
8Lee Y K, Park S J. OPNets:an object-oriented highlevel petri net model for real-time system modeling[ J]. Journal of Systems Software, 1978,20:69-86.
9Kindler E, Reisig W. Algebraic system nets for modeling distributed algorithms [ J]. Petri Net Newsletter, 1996,51:16-31.
10Hong J E, Bae D H. HOONets: hierarchical object-oriented petri nets for system modeling and analysis[R].Korea: Advanced Institute of Science and Technology,1998.

通化师范学院学报

2014年第8期

内容加载中请稍等...