Observable liveness of Petri nets with controllable and observable transitions

被引：0
|
作者：
Guanjun Liu
Changjun Jiang
机构：
[1] Tongji University,Department of Computer Science
[2] Tongji University,Key Laboratory of Embedded System and Service Computing of Ministry of Education
[3] Tongji University,E
来源：
Science China Information Sciences | 2017年 / 60卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Observable liveness of Petri nets with controllable and observable transitions
    Guanjun LIU
    Changjun JIANG
    ScienceChina(InformationSciences), 2017, 60 (11) : 256 - 264
  • [2] Observable liveness of Petri nets with controllable and observable transitions
    Liu, Guanjun
    Jiang, Changjun
    SCIENCE CHINA-INFORMATION SCIENCES, 2017, 60 (11)
  • [3] Observable liveness of Petri nets
    Desel, Joerg
    Kilinc, Goerkem
    ACTA INFORMATICA, 2015, 52 (2-3) : 153 - 174
  • [4] Observable liveness of Petri nets
    Jörg Desel
    Görkem Kılınç
    Acta Informatica, 2015, 52 : 153 - 174
  • [5] An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language
    Chavarin-Aguirre, Pedro
    Lopez-Mellado, Ernesto
    Lesage, Jean-Jacques
    IFAC PAPERSONLINE, 2018, 51 (07): : 367 - 373
  • [6] DIAGNOSIS ON A SLIDING WINDOW FOR PARTIALLY OBSERVABLE PETRI NETS
    Chouchane, Amira
    Declerck, Philippe
    KYBERNETIKA, 2022, 58 (04) : 479 - 497
  • [7] Liveness enforcing monitors for safe and controllable Petri nets
    Lemmon, MD
    He, KX
    PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 775 - 780
  • [8] Supervisory Control in Partially Observable Petri Nets with Sensor Reduction
    Ma, Ziyue
    He, Zhou
    Li, Zhiwu
    2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2019, : 189 - 194
  • [9] Identification of controllable transitions to decide the existence of an optimal liveness-enforcing supervisor for a class of Petri nets
    Li, Zhiwu
    Qin, Meng
    Zhu, Sen
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (3-4) : 406 - 421
  • [10] ON CONTROLLABLE AND OBSERVABLE THEORY
    BELANGER, PR
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1987, 32 (07) : 562 - 562
12345