书目信息 机读格式(MARC)
Petri网并行化理论与并行算法
| ISBN/价格： | 978-7-03-057715-3:CNY120.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | Petri网并行化理论与并行算法/.李文敬, 元昌安, 闭应洲著 |
| 出版发行项： | 北京:,科学出版社:,2018.11 |
| 载体形态项： | 296页:;+图:;+24cm |
| 提要文摘： | Petri网是复杂系统运行过程中并发、互斥、同步最直接、自然和精确的表示, 已成为描述物理世界的异步并发现象并揭示其可计算规律的重要理论和模型。由于Petri网系统具有并发、同步的特点, 同时存在状态空间爆炸的问题, 要借助Petri网模拟复杂系统的并行运行或动画演示, 以实现对Petri网系统行为与功能的分析与验证, 成为人们亟须解决的问题。以并行计算和Petri网系统并行化为核心的Petri网系统并行算法成为模拟复杂系统的并行运行和系统验证的研究热点, 受到许多学科领域的关注。本书全面系统地介绍Petri网并行化的基本理论和方法, 重点介绍Petri网并行化划分理论和并行算法、Petri网的研究现状和国内外的新发展。 |
| 题名主题： | Petri网 研究 |
| 中图分类： | TP393 |
| 个人名称等同： | 李文敬 著 |
| 个人名称等同： | 元昌安 著 |
| 个人名称等同： | 闭应洲 著 |
| 记录来源： | CN 湖北三新 20181219 |