| 基于冲突检测的一阶混杂Petri网动态行为演变方法 |
| |
| 引用本文： | 廖伟志,李文敬,陆建波.基于冲突检测的一阶混杂Petri网动态行为演变方法[J].计算机科学,2013,40(11):299-303. |
| |
| 作者姓名： | 廖伟志 李文敬 陆建波 |
| |
| 作者单位： | 嘉兴学院数理与信息工程学院 嘉兴314001;广西师范学院计算机与信息工程学院 南宁530023;广西师范学院计算机与信息工程学院 南宁530023 |
| |
| 基金项目： | 本文受广西理工科学实验中心经费(LGZXKF201108)资助 |
| |
| 摘 要： | 讨论了基于冲突检测的一阶混杂Petri网动态行为演变方法,首先给出用于一阶混杂Petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理；然后给出基于冲突检测的一阶混杂Petri网动态行为演变方法；最后通过混杂系统的一阶混杂Petri网模型说明冲突检测对行为演变分析正确性的重要作用。
|
| 关 键 词： | 一阶混杂Petri网 冲突检测 动态行为演变 冲突消解 中图法分类号TP271文献标识码A |
| 收稿时间： | 1/4/2013 12:00:00 AM |
| 修稿时间： | 6/4/2013 12:00:00 AM |
Dynamic Behavior Evolution for First-order Hybrid Petri Nets Based on Conflict Checking |
| |
| LIAO Wei-zhi,LI Wen-jing and LU Jian-bo.Dynamic Behavior Evolution for First-order Hybrid Petri Nets Based on Conflict Checking[J].Computer Science,2013,40(11):299-303. |
| |
| Authors: | LIAO Wei-zhi LI Wen-jing and LU Jian-bo |
| |
| Affiliation: | College of Mathematics Physics and Information Engineering,Jiaxing University,Jiaxing 314001,China;School of Computer and Information Engineering,Guangxi Teachers Education University,Nanning 530023,China;School of Computer and Information Engineering,Guangxi Teachers Education University,Nanning 530023,China |
| |
| Abstract: | |
| |
| Keywords: | First-order hybrid petri nets Conflict checking Dynamic behavior evolution Conflict resolution |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
