|
题名:
|
基于Petri网精炼的系统建模与分析 ji yu Petri wang jing lian de xi tong jian mo yu fen xi / 丁志军著 , |
|
ISBN:
|
978-7-5608-6829-5 价格： CNY50.00 |
|
语种:
|
chi |
|
载体形态:
|
143页 25cm |
|
出版发行:
|
出版地： 上海 出版社： 同济大学出版社 出版日期： 2017 |
|
内容提要:
|
本书面向系统综合，着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质，首先定义了一类Petri网的精炼操作，基于序列投影，建立了精炼Petri网与原网、子网间的动态行为关联关系，并分析了该精炼操作的相关动态性质，给出了一组性质保持判据。 |
|
主题词:
|
Petri网 系统建模 |
|
中图分类法:
|
TP393.19 版次： 5 |
|
主要责任者:
|
丁志军 ding zhi jun 著 |
|
索书号:
|
TP393.19/1037 |