|
题名:
|
Petri网活性与应用 / 刘关俊, 蒋昌俊著 , |
|
ISBN:
|
978-7-5608-7428-9 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
192页 图 24cm |
|
出版发行:
|
出版地： 上海 出版社： 同济大学出版社 出版日期： 2020 |
|
内容提要:
|
Petri网是一种模拟并发系统的数学模型, 活性是Petri网的重要性质之一, 与并发系统的无死锁性密切相关。本书以Petri网活性为主线, 开展了Petri网 (子类) 的活性判定、基于Petri网的资源分配系统死锁预防策略、基于Petri网的交互式系统活性与兼容性分析等三方面的研究。 |
|
主题词:
|
Petri网 系统建模 |
|
中图分类法:
|
TP393.19 版次： 5 |
|
主要责任者:
|
刘关俊 著 |
|
主要责任者:
|
蒋昌俊 著 |
|
附注:
|
工学·计算机科学与技术 |
|
索书号:
|
3 |