| 基于冲突判定的混杂Petri网模型行为分析 |
| |
| 引用本文： | 陆建波,廖伟志.基于冲突判定的混杂Petri网模型行为分析[J].广西师范学院学报(自然科学版),2011,28(3):77-81. |
| |
| 作者姓名： | 陆建波 廖伟志 |
| |
| 作者单位： | 广西师范学院计算机与信息工程学院,广西南宁,530001 |
| |
| 基金项目： | 国家自然科学基金项目(60864001); 广西自然科学基金资助项目(0991105); 广西教育厅科研项目(200807MS113) |
| |
| 摘 要： | 为了分析基本混杂Petri网模型行为，提出了基本混杂Petri网各迁移间的冲突判定定理，讨论了消解策略，并给出了基于冲突判定和消解的基本混杂Petri网模型行为分析算法。理论分析证明了所提出定理的正确性，实例分析和比较说明了所提出算法的有效性。
|
| 关 键 词： | 混杂Petri网 冲突 消解 模型行为分析 |
Model Behavior Analysis of HPN Based on Conflict Decision and Elimination |
| |
| LU Jian-bo,LIAO Wei-zhi.Model Behavior Analysis of HPN Based on Conflict Decision and Elimination[J].Journal of Guangxi Teachers Education University:Natural Science Edition,2011,28(3):77-81. |
| |
| Authors: | LU Jian-bo LIAO Wei-zhi |
| |
| Institution: | LU Jian-bo,LIAO Wei-zhi(College of Computer and Information Engineering,GuangxiTeachers Education University,Nanning 530001,China) |
| |
| Abstract: | To analyse the model behavior of hybrid petri nets(HPN),the theorem to determine the conflict of a HPN is proposed,and the method to eliminate conflict is developed.A model behavior analysis algorithm for HPN based on conflict decision and elimination is presented.Through analysis and case study,the effectiveness of the developed approach and algorithm are illustrated. |
| |
| Keywords: | hybrid petri nets conflict elimination model behavior analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
