返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
TP393.19
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
基于Petri网精炼的系统建模与分析
:丁志军
作者：
丁志军
出版社：
同济大学出版社
出版时间：
2017
ISBN：
978-7-5608-6829-5
索书号：
TP393.19/1
分类号：
TP393.19
页数：
143页
价格：
50.00
复本数：
在馆数：
累借天数：
累借次数：
本书面向系统综合, 着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质, 首先定义了一类Petri网的精炼操作, 基于序列投影, 建立了精炼Petri网与原网、子网间的动态行为关联关系, 并分析了该精炼操作的相关动态性质, 给出了一组性质保持判据。
详细信息
索书号
展开
Petri网并行化理论与并行算法
:李文敬, 元昌安, 闭应洲
作者：
李文敬, 元昌安, 闭应洲
出版社：
科学出版社
出版时间：
2018
ISBN：
978-7-03-057715-3
索书号：
TP393.19/2
分类号：
TP393.19
页数：
296页
价格：
159.00
复本数：
在馆数：
累借天数：
累借次数：
本书全面系统地介绍Petri网并行化的基本理论和方法, 重点介绍Petri网并行化划分理论和并行算法、Petri网的研究现状和国内外的新发展。Petri网是复杂系统运行过程中并发、互斥、同步最直接、自然和精确的表示, 已成为描述物理世界的异步并发现象并揭示其可计算规律的重要理论和模型。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
2
)
出版社
同济大学出版社
(
1
)
科学出版社
(
1
)
只显示前10条......
同济大学出版社
(
1
)
科学出版社
(
1
)
查看更多信息......
作者
丁志军
(
1
)
李文敬, 元昌安, 闭应洲
(
1
)
只显示前10条......
丁志军
(
1
)
李文敬, 元昌安, 闭应洲
(
1
)
查看更多信息......
出版年
2017
(
1
)
2018
(
1
)
只显示前10条......
2017
(
1
)
2018
(
1
)
查看更多信息......
TP393.19
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：