支持软件并行工程过程建模的一种形式化方法

• 作者: 李彤 柳青 赵杨
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 软件并行工程 过程建模 Petri网
• 年，卷（期）: 2004,（18）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 76-77
• 页数: 2页
• 分类号: TP311.5
• 字数: 3098字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.18.029

摘要

为了支持软件并行工程中的过程建模,以Petri网为基础,提出了一种过程建模的形式化方法--X-Petri网.同时给出了X-Petri网的详细定义及模型映射规则.最后通过一个软件并行工程中的过程实例来说明如何建立相应的X-Petri网模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学计算机科学与工程系	151	861	14.0	22.0
2	柳青	云南大学计算机科学与工程系	40	192	7.0	12.0
3	赵杨	云南大学计算机科学与工程系	6	55	4.0	6.0