| HPN基于网结构的冲突关系 |
| |
| 引用本文： | 金光. HPN基于网结构的冲突关系[J]. 国防科技大学学报, 2002, 24(4): 86-90 |
| |
| 作者姓名： | 金光 |
| |
| 作者单位： | 国防科技大学人文与管理学院,湖南长沙,410073 |
| |
| 摘 要： | 混合Petri网是为了解决复杂动态系统可靠性安全性分析而提出的一种Petri网扩展模型。定义混合Petri网模型的基于结构的冲突关系 ,有助于深入理解混合Petri网模型的语义 ,对其在动态系统可靠性安全性建模与分析以及模型分析求解中的应用也具有重要意义
|
| 关 键 词： | Petri网 冲突 |
| 文章编号： | 1001-2486(2002)04-0086-05 |
| 收稿时间： | 2002-04-30 |
| 修稿时间： | 2002-04-30 |
Structural Conflicts in HPN |
| |
| JIN Guang. Structural Conflicts in HPN[J]. Journal of National University of Defense Technology, 2002, 24(4): 86-90 |
| |
| Authors: | JIN Guang |
| |
| Affiliation: | 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 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
|
点击此处可从《国防科技大学学报》下载免费的PDF全文 |
