摘要： 由于面向对象的分布式系统的并发性和通信性特点，该文提出一种将Petri网和EFSM/CEFSM结合起来的方法，利用Petri网模型来分析分布式系统的并发性和通信性，并将基于EFSM的测试技术应用到Petri网建模的系统上。这样使得这两种技术的优势互补，从而便于对系统的性能进行研究。

关键词: 并发性, 通信性, 分布式系统, Petri网, EFSM, CEFSM

Abstract: Because of characteristics of concurrency and communication in distributed systems of object-oriented, This paper presents a method which put Petri net with EFSM together, So that it can use Petri net model to analyze distributed systems concurrency and communication, and it can apply the testing strategy based on EFSM to systems modeled by Petri net. It can benefit from these two kinds of technologys combination, and then it is advantageous for to study the systems performance.

中图分类号: 

• TP393