书目详细信息
： Petri网活性与应用
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5608-7428-9:CNY68.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 310000 |
| 题名责任者项： | Petri网活性与应用/.刘关俊，蒋昌俊著 |
| 出版发行项： | 上海:,同济大学出版社:,2020.04 |
| 载体形态项： | 192页:;+图:;+24cm |
| 丛编项： | 同济博士论丛 |
| 一般附注： | 工学·计算机科学与技术 |
| 提要文摘： | Petri网是一种模拟并发系统的数学模型，活性是Petri网的重要性质之一，与并发系统的无死锁性密切相关。本书以Petri网活性为主线，开展了Petri网(子类)的活性判定、基于Petri网的资源分配系统死锁预防策略、基于Petri网的交互式系统活性与兼容性分析等三方面的研究。 |
| 并列题名： | Liveness of petri nets and lts application eng |
| 题名主题： | Petri网 系统建模 研究 |
| 中图分类： | TP393.1 |
| 个人名称等同： | 刘关俊 著 |
| 个人名称等同： | 蒋昌俊 著 |
| 记录来源： | CN CDT 20200629 |