共享合成Petri网的性质分析  

Property Analysis of Shared Composition Petri Nets

作　　者：庞善臣[1] 蒋昌俊[1] 孙萍[1] 周长红[2] 

机构地区：[1]同济大学计算机科学与工程系,上海200092 [2]山东科技大学信息科学与工程学院,泰安271019

出　　处：《自动化学报》2004年第6期944-948,共5页Acta Automatica Sinica

基　　金：国家杰出青年科学基金(60125205)"863'’计划(2001AA413020)"973"计划(2003CB316902)国家自然科学基金(90412013)上海市重点基础项目(02DJ14064)资助~~

摘　　要：组合 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.

关 键 词：PETRI网 共享合成 活性 行为不变性 状态不变性 

分 类 号：N943[自然科学总论—系统科学]