大庆师范学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态:已编 文献类型:中文图书 浏览次数:10

题名/责任者:
基于Petri网精炼的系统建模与分析/丁志军著
出版发行项:
上海:同济大学出版社,2017
ISBN及定价:
978-7-5608-6829-5 精装/CNY50.00
载体形态项:
143页;24cm
并列正题名:
Petri net refinement based system modeling and analysis
丛编项:
同济博士论丛
个人责任者:
丁志军
学科主题:
Petri网-系统建模
中图法分类号:
TP393.19
提要文摘附注:
本书面向系统综合,着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质,首先定义了一类Petri网的精炼操作,基于序列投影,建立了精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,给出了一组性质保持判据。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP393.19/D63 01223459 2017 - 语言、自然科学阅览室     可借 语言、自然科学阅览室
TP393.19/D63 01223460 2017 - 语言、自然科学阅览室     可借 语言、自然科学阅览室
TP393.19/D63 01223458 2017 - 样本书阅览室     非可借 样本书阅览室
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

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