|
|||||
|
|
| 区间速率连续Petri网模型行为分析研究 | |
| 引用本文： | 廖伟志,古天龙,王汝凉.区间速率连续Petri网模型行为分析研究[J].小型微型计算机系统,2006,27(8):1490-1494. |
| 作者姓名： | 廖伟志 古天龙 王汝凉 |
| 作者单位： | 1. 广西师范学院,信息技术系,广西,南宁,530001;西安电子科技大学,电子工程系,陕西,西安,710071 2. 桂林电子工业学院,计算机系,广西,桂林,541004 3. 广西师范学院,信息技术系,广西,南宁,530001 |
| 摘 要： | 讨论了区间速率连续Petri网模型的行为分析问题．通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法，并在此基础上给出了区间速率连续Petri网的行为演变算法．同时给出了区间速率连续Petri网行为演变的混杂自动机模型构造方法．应用例子表明了所提出行为分析方法的有效性． |
| 关 键 词： | 区间速率连续Petri网 行为分析 标识等价类 混杂自动机 |
| 文章编号： | 1000-1220（2006）08-1490-05 |
| 收稿时间： | 05 13 2005 12:00AM |
| 修稿时间： | 2005-05-132005-09-08 |
Behavior Analysis of Interval Speed Continuous Petri Nets |
|
| LIAO Wei-zhi,GU Tian-long,WANG Ru-liang.Behavior Analysis of Interval Speed Continuous Petri Nets[J].Mini-micro Systems,2006,27(8):1490-1494. | |
| Authors: | LIAO Wei-zhi GU Tian-long WANG Ru-liang |
| Abstract: | The problem of behavior analysis for interval speed continuous Petri nets (ICPN) was discussed. Firstly, in terms of the equivalence between the markings, an efficient way to compute the instant firing speed for ICPN was presented, and the behavior analysis algorithm was developed. Secondly, an algorithm for constructing the hybrid automata associated with the behavior evolution of ICPN was proposed. Finally, the effectiveness of the proposed analysis technique was illustrated through an example. |
| Keywords: | interval speed continuous Petri nets behavior analysis marking equivalence hybrid automata |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |