|
|||||
|
|
| 一种新的Petri网模型建立方法 | |
| 引用本文： | 邵晨曦,周二辉,吴悦,杨明,白方周,王子才.一种新的Petri网模型建立方法[J].系统仿真学报,2006,18(11):3011-3013,3017. |
| 作者姓名： | 邵晨曦 周二辉 吴悦 杨明 白方周 王子才 |
| 作者单位： | 1. 哈尔滨工业大学仿真中心,哈尔滨,150001;中国科学技术大学计算机科学技术系,合肥,230027 2. 中国科学技术大学计算机科学技术系,合肥,230027;解放军第152中心医院信息科,平顶山,467000 3. 中国科学技术大学计算机科学技术系,合肥,230027 4. 哈尔滨工业大学仿真中心,哈尔滨,150001 |
| 摘 要： | 提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点，又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MSC模型转换为Petri网模型。经过对具体模型实例的分析可以得出，由这种方法得到的Petri网是安全可行的。 |
| 关 键 词： | 建模/仿真 消息序列表MSC Petri网 转换 |
| 文章编号： | 1004-731X（2006）11-3011-03 |
| 收稿时间： | 2005-08-31 |
| 修稿时间： | 2005-08-312005-11-25 |
New Method of Petri Net Modeling |
|
| SHAO Chen-xi,ZHOU Er-hui,WU Yue,YANG Ming,BAI Fang-zhou,WANG Zi-cai.New Method of Petri Net Modeling[J].Journal of System Simulation,2006,18(11):3011-3013,3017. | |
| Authors: | SHAO Chen-xi ZHOU Er-hui WU Yue YANG Ming BAI Fang-zhou WANG Zi-cai |
| Institution: | 1 .Simulation Center, Harbin Institute of Technology, Harbin 150001, China; 2.Computer Science Dept. of University of Science and Technology of China, Hefei 230027, China; 3.Information Dept. of 152 Hospital of PLA, Pingdingshan 467000, China |
| Abstract: | 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. |
| Keywords: | modeling/simulation Message Sequence Charts(MSC) Petri Net transform |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |