摘要
组合 Petri 网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成 Petri网的结构性质入手,分析了它的活性性质,给出了它的一个较为简单的活性判定的充要条件.在此基础上,研究了共享合成 Petri 网的活性与行为不变性和状态不变性的关系,为系统合成的活性和一致性的关系提供了分析依据.
The liveness properties are analyzed from the structural properties of the shared composition Petri nets, and then a necessary and sufficient condition to decide the liveness of shared composition Petri nets is obtained. Based on this, the relationships between the liveness of shared composition Petri nets and the behavior constancy and the state constancy are discussed, and judgment to analyze the relationship between the liveness property and the constancy property of system composition is provided.
出处
《自动化学报》
EI
CSCD
北大核心
2004年第6期944-948,共5页
Acta Automatica Sinica
基金
国家杰出青年科学基金(60125205)"863'’计划(2001AA413020)"973"计划(2003CB316902)国家自然科学基金(90412013)上海市重点基础项目(02DJ14064)资助~~