留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

混合Petri网及其可达性分析

李惠峰 周锐 陈宗基

李惠峰, 周锐, 陈宗基等 . 混合Petri网及其可达性分析[J]. 北京航空航天大学学报, 2000, 26(2): 149-152.
引用本文: 李惠峰, 周锐, 陈宗基等 . 混合Petri网及其可达性分析[J]. 北京航空航天大学学报, 2000, 26(2): 149-152.
LI Hui-feng, ZHOU Rui, CHEN Zong-jiet al. Hybrid Petri Nets and Analysis of Its Reachability[J]. Journal of Beijing University of Aeronautics and Astronautics, 2000, 26(2): 149-152. (in Chinese)
Citation: LI Hui-feng, ZHOU Rui, CHEN Zong-jiet al. Hybrid Petri Nets and Analysis of Its Reachability[J]. Journal of Beijing University of Aeronautics and Astronautics, 2000, 26(2): 149-152. (in Chinese)

混合Petri网及其可达性分析

基金项目: 机械制造系统工程国家重点实验室开放基金资助项目
详细信息
    作者简介:

    李惠峰(1970-),女,陕西蒲城人,讲师,100083,北京.

  • 中图分类号: N 945.12

Hybrid Petri Nets and Analysis of Its Reachability

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

     

  • [1] 李惠峰,陈浩勋,孙国基. 具有硬实时上限的受控赋时Petri网的控制综合[J]. 控制与决策,1998,13(3):245~249. [2]Puri A, Varaiya P. Verification of hybrid systems using abstractions. In:Antsaklis P, Kohn W, Nerode A, et al, eds. Hybrid Systems (II). Berlin:Spring-Verlag, 1995. 359~369. [3]陈浩勋,李惠峰,孙国基. 一类混杂系统的混杂Petri网模型. 见:秦化淑主编. 97中国控制会议论文集. 武汉:武汉大学出版社,1997. 703~708.
  • 加载中
计量
  • 文章访问数:  2694
  • HTML全文浏览量:  141
  • PDF下载量:  997
  • 被引次数: 0
出版历程
  • 收稿日期:  1999-11-22
  • 网络出版日期:  2000-02-29

目录

    /

    返回文章
    返回
    常见问答