分布式系统中EFSM与Petri网的交叉式应用研究  

The Intersectional Application Study of EFSM and Petri Net in Distributed Systems

作　　者：罗冬梅[1] 高建华[1] 

机构地区：[1]上海师范大学数理信息学院,上海200234

出　　处：《计算机工程》2004年第8期109-111,共3页Computer Engineering

基　　金：国家教育部<高等学校骨干教师资助计划>资助项目;海市署光计划资助项目(2002SG53);海市高校科技发展基金重点资助项目(CL200222)

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

关 键 词：并发性 通信性 分布式系统 PETRI网 EFSM CEFSM 

分 类 号：TP393.03[自动化与计算机技术—计算机应用技术]