同济博士论丛 基于PETRI网精炼的系统建模与分析

本文面向系统综合，注重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质。首先定义了一类Petri网的精炼操作，基于序列投影，建立了精炼Petri网与原网、子网间的动态行为关联关系，并分析了该精炼操作的相关动态性质，给出了一组性质保持判据。