| 引用本文: | 金光.HPN基于网结构的冲突关系.[J].国防科技大学学报,2002,24(4):86-90.[点击复制] |
| JIN Guang.Structural Conflicts in HPN[J].Journal of National University of Defense Technology,2002,24(4):86-90[点击复制] |
|
| |
|
|
| 本文已被：浏览 6551次 下载 6111次 |
| HPN基于网结构的冲突关系 |
| 金光 |
|
(国防科技大学 人文与管理学院，湖南 长沙 410073)
|
| 摘要: |
| 混合Petri网是为了解决复杂动态系统可靠性安全性分析而提出的一种Petri网扩展模型。定义混合Petri网模型的基于结构的冲突关系，有助于深入理解混合Petri网模型的语义，对其在动态系统可靠性安全性建模与分析以及模型分析求解中的应用也具有重要意义。 |
| 关键词: Petri网 冲突 |
| DOI： |
| 投稿日期：2002-04-30 |
| 基金项目: |
|
| Structural Conflicts in HPN |
| JIN Guang |
|
(College of Humanities and Management, National Univ. of Defense Technology, Changsha 410073,China)
|
| Abstract: |
| Hybrid Petri Net is one of the extended types of Petri Nets, which is originally prompted to solve the problems of reliability and safety of the complex dynamic system. Definition of structural conflicts in Hybrid Petri Net helps to go deep into the Hybrid Petri Net's semantics. Defining structural conflicts are also very necessary and important when they are applied in analysis of dynamic system reliability and safety. |
| Keywords: Petri Net conflict |
|
|
