The positive invariant property,eventual boundedness,non-persistence,permanence,extinction,and globally asymptotic stability of the system was investigated.
详细考察了系统的正不变性、最终有界性、非持续生存、持久性、灭绝性及全局渐近稳定性。
Based on this,the relationships between theliveness of shared composition Petri nets and the behavior constancy and the state constancyare discussed,and judgment to analyze the relationship between the liveness property andthe constancy property of system composition is provided.
在此基础上，研究了共享合成 Petri 网的活性与行为不变性和状态不变性的关系，为系统合成的活性和一致性的关系提供了分析依据。