| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:113

题名/责任者:
Petri网活性与应用/刘关俊, 蒋昌俊著
出版发行项:
上海:同济大学出版社,2020
ISBN及定价:
978-7-5608-7428-9 精装/CNY68.00
载体形态项:
192页;25cm
并列正题名:
Liveness of Petri nets and its application
丛编项:
同济博士论丛.工学·计算机科学与技术
个人责任者:
刘关俊
个人责任者:
蒋昌俊
学科主题:
Petri网-系统建模-研究
中图法分类号:
TP393.19
书目附注:
有书目 (第174-190页)
提要文摘附注:
本书从理论研究与应用结合两个方面着手,以Petri网活性为主线,开展了Perti网(子类)的活性判定、基于Petri网的资源分配系统死锁预防策略、基于Petri网的交互式系统活性与兼容性分析等三方面的研究。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP393.19/082 72369392   自然书库(3F东)     可借 自然书库(3F东)
TP393.19/082 72369393   自然书库(3F东)     可借 自然书库(3F东)
TP393.19/082 72390785   自然书库(3F东)     可借 自然书库(3F东)
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架