基于面向对象Petri网的并发软件开发环境的研究

• 作者: 任爱华 焦晖 王博
• 来源期刊: 中国学术期刊文摘
• 关键词: Petri网 面向对象技术 并发程序设计 JAVA
• 年，卷（期）: 2000,（12）
• 所属期刊栏目: 论文
• 页码范围: 1515-1517
• 页数: 3页
• 语种: 中文

摘要

面向对象技术和Petri网理论相结合,采用了OOPN 模型以对并发系统进行描述,并在此基础上,提出了一种基于OOPN模型的集规格说明定义、验证、代码生成于一体的新方法,并开发了以OOPN模型为核心的并发软件集成开发环境-- OOPN-IDE.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	任爱华	北京航空航天大学计算机系	22	136	7.0	11.0
2	王博	北京航空航天大学计算机系	20	96	7.0	9.0
3	焦晖	北京航空航天大学计算机系	3	2	1.0	1.0