10.3969/j.issn.1000-3428.2004.18.029
支持软件并行工程过程建模的一种形式化方法
为了支持软件并行工程中的过程建模,以Petri网为基础,提出了一种过程建模的形式化方法--X-Petri网.同时给出了X-Petri网的详细定义及模型映射规则.最后通过一个软件并行工程中的过程实例来说明如何建立相应的X-Petri网模型.
软件并行工程、过程建模、Petri网
30
TP311.5(计算技术、计算机技术)
云南省自然科学基金2001F0006M;云南省中青年学术与技术带头人培养基金;云南省科技创新人才培养基金1998-37
2004-10-21(万方平台首次上网日期,不代表论文的发表时间)
共2页
76-77