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

摘要：

提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法.即利用了MSC简单、直观的优点,又能够充分利用Petri网相关的分析和仿真的理论与工具.给出了具体的由MSC到Petri网的转换算法.依照转换算法可将复杂系统的MSC模型转换为Petri网模型.经过对具体模型实例的分析可以得出,由这种方法得到的Petri网是安全可行的.

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

所属期刊栏目：18

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家自然科学基金60434010

在线出版日期：2006-11-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：3011-3013,3017