| 一种新的混杂Petri网可达性分析方法 |
| |
| 引用本文： | 廖伟志,古天龙.一种新的混杂Petri网可达性分析方法[J].小型微型计算机系统,2009,30(8). |
| |
| 作者姓名： | 廖伟志 古天龙 |
| |
| 作者单位： | 1. 广西师范学院,信息技术系,广西,南宁,530023
2. 桂林电子科技大学,计算机与控制学院,广西,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金项目，广西教育厅科研项目 |
| |
| 摘 要： | 讨论混杂Petri网的标识可达性问题.以混杂Petri网模型行为演变为基础提出了一种新的可达性分析方法.根据混杂Petri网模型行为演变划分了混杂Petri网的四种演变类型,给出并证明了每一种演变类型的可达性判定定理,基于这些定理给出了相应的可达性分析算法.另外,与已有的方法进行比较分析,分析结果表明所提出方法的有效性.
|
| 关 键 词： | 混杂Petri网 标识可达性分析 行为演变 演变图 |
Novel Analysis Method for Reachability of Hybrid Pretri Nets |
| |
| LIAO Wei-zhi,GU Tian-long.Novel Analysis Method for Reachability of Hybrid Pretri Nets[J].Mini-micro Systems,2009,30(8). |
| |
| Authors: | LIAO Wei-zhi GU Tian-long |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
