作者：丁志军著
出版社： 同济大学出版社
CIP号：2017059446
书号：978-7-5608-6829-5
出版地：上海
出版时间：2017.5
定价：￥48
本文面向系统综合，注重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质。首先定义了一类Petri网的精炼操作，基于序列投影，建立了精炼Petri网与原网、子网间的动态行为关联关系，并分析了该精炼操作的相关动态性质，给出了一组性质保持判据。