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 条
  • [21] Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
    Luo, JiLiang
    Zhou, MengChu
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1301 - 1313
  • [22] Deciding Structural Liveness of Petri Nets
    Jancar, Petr
    SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 91 - 102
  • [23] On Liveness and a Class of Generalized Petri Nets
    Abdul-Hussin, Mowfak H.
    Banaszak, Zbigniew A.
    2017 8TH ANNUAL INDUSTRIAL AUTOMATION AND ELECTROMECHANICAL ENGINEERING CONFERENCE (IEMECON), 2017, : 257 - 267
  • [24] Timing and liveness in continuous Petri nets
    Renato Vazquez, C.
    Silva, Manuel
    AUTOMATICA, 2011, 47 (02) : 283 - 290
  • [25] THE CHECKING OF LIVENESS OF ORDINARY PETRI NETS
    ZAKREVSKII, AD
    DOKLADY AKADEMII NAUK BELARUSI, 1985, 29 (11): : 1006 - 1009
  • [26] Liveness for synchronized choice Petri nets
    Chao, DY
    Nicdao, JA
    COMPUTER JOURNAL, 2001, 44 (02): : 124 - 136
  • [27] Liveness, fairness, and recurrence in Petri nets
    Kindler, E
    van der Aalst, W
    INFORMATION PROCESSING LETTERS, 1999, 70 (06) : 269 - 274
  • [28] Liveness Enforcement for Time Petri Nets*
    Qin, Tao
    Dong, Yifan
    Yin, Li
    Wu, Naiqi
    Li, Zhiwu
    2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1184 - 1189
  • [29] A controllable and observable protein cystallization facility
    Jiang, P
    Fu, S
    Cang, H
    Wang, X
    Ren, Q
    Yuan, Y
    Meng, T
    Kang, H
    Hu, J
    Chen, C
    Yang, Z
    Bi, R
    GRAVITATIONAL EFFECTS IN PHYSICO-CHEMICAL PROCESSES, 2003, 32 (02): : 243 - 249
  • [30] Diagnostic based on estimation using linear programming for partially observable petri nets with indistinguishable events
    Chouchane, Amira
    Declerck, Philippe
    Khedher, Atef
    Kamoun, Anas
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE-OPERATIONS & LOGISTICS, 2020, 7 (02) : 192 - 205
12345