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

关键词: 软件并行工程, 过程建模, Petri网

Abstract: For the purpose of supporting the process modeling in software concurrent engineering(SCE), a formal method based on the Petri net is proposed in this paper. The detailed definition of the X-Petri net and the model-mapping rules are given . In the end, a simple example is given to explain how to model the process in SCE based on the X-Petri net.

中图分类号: 

• TP311.5