一种新的Petri网模型建立方法  

New Method of Petri Net Modeling

作　　者：邵晨曦[1] 周二辉[2] 吴悦[2] 杨明[1] 白方周[2] 王子才[1] 

机构地区：[1]哈尔滨工业大学仿真中心,哈尔滨150001 [2]中国科学技术大学计算机科学技术系

出　　处：《系统仿真学报》2006年第11期3011-3013,3017,共4页Journal of System Simulation

基　　金：国家自然科学基金重点项目(60434010)

摘　　要：提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点,又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MSC模型转换为Petri网模型。经过对具体模型实例的分析可以得出,由这种方法得到的Petri网是安全可行的。Message Sequence Chart （MSC） is a graphical trace language for describing the communication behaviour of distributed systems. In order to build a Petri Net model of a complex system, a strategy was introduced to build a Petri Net model by using MSC. The algorithm of translating the MSC model to Petri Net model was also given. The Petri Net model could be got and it was improved by translating the model of MSC. By analyzing the Petri Net model, it is proved to be safe and reliable.

关 键 词：建模/仿真 消息序列表MSC PETRI网 转换 

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