期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
开放Petri网可达状态求解系统的开发与实现
1
作者
吴亚光
《电脑知识与技术》
2016年第1Z期213-215,221,共4页
Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的一种扩充,在并行模型分析,协议的验证,自动控制等方面有广泛的应用。该文的主要工作在于开发一个可以生...
Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的一种扩充,在并行模型分析,协议的验证,自动控制等方面有广泛的应用。该文的主要工作在于开发一个可以生成开放Petri网的软件,并能够求解其所有的可达状态,最后通过这样一个软件来研究开放Petri网的可达状态总数随网的规模变化和初始Token数变化而变化的情况。我们得到的结论是在这两种情况下可达状态数都是呈指数增长的。
展开更多
关键词
开放
petri
网
petri网生成
可达状态
petri
网
规模
下载PDF
职称材料
题名
开放Petri网可达状态求解系统的开发与实现
1
作者
吴亚光
机构
同济大学
出处
《电脑知识与技术》
2016年第1Z期213-215,221,共4页
文摘
Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的一种扩充,在并行模型分析,协议的验证,自动控制等方面有广泛的应用。该文的主要工作在于开发一个可以生成开放Petri网的软件,并能够求解其所有的可达状态,最后通过这样一个软件来研究开放Petri网的可达状态总数随网的规模变化和初始Token数变化而变化的情况。我们得到的结论是在这两种情况下可达状态数都是呈指数增长的。
关键词
开放
petri
网
petri网生成
可达状态
petri
网
规模
Keywords
Open
petri
Nets
Generation of
petri
Nets
Collection of Reachable Markings
Scale of a
petri
Net
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
开放Petri网可达状态求解系统的开发与实现
吴亚光
《电脑知识与技术》
2016
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部