摘要
为了支持软件并行工程中的过程建模,以Petri网为基础,提出了一种过程建模的形式化方法 ——X-Petri网。同时给出了X-Petri网的详细定义及模型映射规则。最后通过一个软件并行工程中的过程实例来说明如何建立相应的X-Petri网模型。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第18期76-77,共2页
Computer Engineering
基金
云南省自然科学基金项目"基于构件的快速软件并行开发技术"(2001F0006M)
云南省中青年学术和技术带头人培养基金联合资助项目(1998-37)
关键词
软件并行工程
过程建模
PETRI网
Software concurrent engineering
Process modeling
Petri net