组合 Petri 网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成 Petri网的结构性质入手,分析了它的活性性质,给出了它的一个较为简单的活性判定的充要条件.在此基础上,研究了共享合成 Petri 网的活性与行为不变性和状...组合 Petri 网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成 Petri网的结构性质入手,分析了它的活性性质,给出了它的一个较为简单的活性判定的充要条件.在此基础上,研究了共享合成 Petri 网的活性与行为不变性和状态不变性的关系,为系统合成的活性和一致性的关系提供了分析依据.展开更多
文摘组合 Petri 网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成 Petri网的结构性质入手,分析了它的活性性质,给出了它的一个较为简单的活性判定的充要条件.在此基础上,研究了共享合成 Petri 网的活性与行为不变性和状态不变性的关系,为系统合成的活性和一致性的关系提供了分析依据.