基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法.即利用了MSC简单、直观的优点,又能够充分利用Petri网相关的分析和仿真的理论与工具.给出了具体的由MSC到Petri网的转换算法.依照转换算法可将复杂系统的MSC模型转换为Petri网模型.经过对具体模型实例的分析可以得出,由这种方法得到的Petri网是安全可行的.
推荐文章
一种面向故障诊断的模糊Petri网模型
故障诊断
模糊Petri网
模糊推理
一种基于Petri网的安全协议验证方法
安全协议
着色Petri网
形式化建模与分析
安全验证
可达性分析
一种基于模糊Petri网的CGF决策方法研究
计算机生成兵力
决策
模糊Petri网
弹道导弹
攻防对抗
一种多值Petri网及其应用
多值Petri网
多值逻辑
知识表示
不确定性推理
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种新的Petri网模型建立方法
来源期刊 系统仿真学报 学科 工学
关键词 建模/仿真 消息序列表MSC Petri网 转换
年,卷(期) 2006,(11) 所属期刊栏目 建模与仿真理论及方法
研究方向 页码范围 3011-3013,3017
页数 4页 分类号 TP391.9
字数 2584字 语种 中文
DOI 10.3969/j.issn.1004-731X.2006.11.001
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 杨明 哈尔滨工业大学仿真中心 281 3177 28.0 45.0
2 邵晨曦 哈尔滨工业大学仿真中心 40 445 12.0 19.0
4 王子才 哈尔滨工业大学仿真中心 154 2151 22.0 39.0
7 白方周 中国科学技术大学计算机科学技术系 15 260 9.0 15.0
8 周二辉 中国科学技术大学计算机科学技术系 2 4 1.0 2.0
10 吴悦 中国科学技术大学计算机科学技术系 2 7 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (4)
节点文献
引证文献  (4)
同被引文献  (4)
二级引证文献  (10)
1989(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(2)
  • 参考文献(2)
  • 二级参考文献(0)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2007(2)
  • 引证文献(2)
  • 二级引证文献(0)
2008(1)
  • 引证文献(0)
  • 二级引证文献(1)
2009(2)
  • 引证文献(1)
  • 二级引证文献(1)
2010(2)
  • 引证文献(0)
  • 二级引证文献(2)
2011(2)
  • 引证文献(0)
  • 二级引证文献(2)
2012(1)
  • 引证文献(0)
  • 二级引证文献(1)
2013(2)
  • 引证文献(0)
  • 二级引证文献(2)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
建模/仿真
消息序列表MSC
Petri网
转换
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
系统仿真学报
月刊
1004-731X
11-3092/V
大16开
北京市海淀区永定路50号院
82-9
1989
chi
出版文献量(篇)
14694
总下载数(次)
35
总被引数(次)
173926
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导