北京航空航天大学学报 ›› 2000, Vol. 26 ›› Issue (2): 149-152.

• 论文 • 上一篇    下一篇

混合Petri网及其可达性分析

李惠峰, 周锐, 陈宗基   

  1. 北京航空航天大学 自动控制系
  • 收稿日期:1999-11-22 出版日期:2000-02-29 发布日期:2010-09-27
  • 作者简介:李惠峰(1970-),女,陕西蒲城人,讲师,100083,北京.
  • 基金资助:

    机械制造系统工程国家重点实验室开放基金资助项目

Hybrid Petri Nets and Analysis of Its Reachability

LI Hui-feng, ZHOU Rui, CHEN Zong-ji   

  1. Beijing University of Aeronautics and Astronautics,Dept. of Automatic Control
  • Received:1999-11-22 Online:2000-02-29 Published:2010-09-27

摘要: 混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统.文中建立的混合Petri网能够描述、分析确定性离散事件,以及离散事件或连续演变的并发问题;该网可以覆盖离散Petri网和赋时Petri网,从而使离散事件系统、实时离散事件系统和混合系统理论研究统一到同一理论框架中.此外还给出计算混合系统可达状态集的算法.

Abstract: Hybrid system is a type of sophisticated system which consists of interactive discrete event dynamic systems and continuous variable dynamic systems. A new type of hybrid Petri net is proposed, which can not only describe and analyze deterministic discrete events, but also deal with the concurrent problem concerning discrete events or continuous evolution. If the hybrid net is simplified properly, the timed Petri net model and logic Petri net model of the original system can be obtained. Therefore, the objective systems could be researched under the same theoretic framework in DES, RTDES and HS respectively. In addition, an algorithm is presented in order to compute the set of reachable states in hybrid system.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发