MARC状态：审校 文献类型：中文图书 浏览次数：30
- 题名/责任者:
- 基于Petri网精炼的系统建模与分析/丁志军著
- 出版发行项:
- 上海:同济大学出版社,2017
- ISBN及定价:
- 978-7-5608-6829-5 精装/CNY50.00
- 载体形态项:
- 143页:图;25cm
- 丛编项:
- 同济博士论丛
- 个人责任者:
- 丁志军 著
- 学科主题:
- Petri网-系统建模
- 中图法分类号:
- TP393.1
- 一般附注:
- 同济大学1907-2017
- 书目附注:
- 有书目 (第128-141页)
- 提要文摘附注:
- 本文面向系统综合, 着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质。首先定义了一类Petri网的精炼操作, 基于序列投影, 建立了精炼Petri网与原网、子网间的动态行为关联关系, 并分析了该精炼操作的相关动态性质, 给出了一组性质保持判据。
全部MARC细节信息>>