附件:设置1:设置2:设置3:本书面向系统综合, 着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质, 首先定义了一类Petri网的精炼操作, 基于序列投影, 建立了精炼Petri网与原网、子网间的动态行为关联关系, 并分析了该精炼操作的相关动态性质, 给出了一组性质保持判据。摘要:有书目 (第128-141页)
附注提要
本书面向系统综合, 着重从Petri网语言角度讨论了Petri网精炼操作的动态行为和系统性质, 首先定义了一类Petri网的精炼操作, 基于序列投影, 建立了精炼Petri网与原网、子网间的动态行为关联关系, 并分析了该精炼操作的相关动态性质, 给出了一组性质保持判据。