-
摘要: 组合Petri网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成Petri 网的结构性质入手,分析了它的活性性质,给出了它的一个较为简单的活性判定的充要条件. 在此基础上,研究了共享合成Petri网的活性与行为不变性和状态不变性的关系,为系统合 成的活性和一致性的关系提供了分析依据.Abstract: 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.
-
Key words:
- Petri nets /
- shared composition /
- liveness /
- behavior constancy /
- state constancy
计量
- 文章访问数: 3017
- HTML全文浏览量: 45
- PDF下载量: 1125
- 被引次数: 0