Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs

被引：9
|
作者：
Zhang, Kuize [1 ,2 ]
Giva, Alessandro [3 ]
机构：
[1] Harbin Engn Univ, Coll Automat, Harbin 150001, Heilongjiang, Peoples R China
[2] KTH Royal Inst Technol, Sch Elect Engn & Comp Sci, ACCESS Linnaeus Ctr, S-10044 Stockholm, Sweden
[3] Univ Cagliari, Dept Elect & Elect Engn, I-09123 Cagliari, Italy
来源：
IFAC PAPERSONLINE | 2018年 / 51卷 / 07期
基金：
瑞典研究理事会;
关键词：
Petri net with inhibitor arcs; weak detectability; weak approximate detectability; decidability; DISCRETE-EVENT SYSTEMS; OPACITY; OBSERVABILITY; VERIFICATION; COMPLEXITY;
D O I：
10.1016/j.ifacol.2018.06.296
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Weak (approximate) detectability of a labeled Petri net (LPN) system (with inhibitor arcs) is a property such that if the property is satisfied then there exists an infinite label sequence generated by the system such that all markings after a time step can determined (in a prescribed subset of reachable markings) by the label sequence. Specifically, we prove that the problems of deciding weak detectability of LPN systems with inhibitor arcs and weak approximate detectability of LPN systems are both undecidable. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
引用
收藏
页码：167 / 171
页数：5
相关论文
共 50 条
  • [1] Verification of Detectability for Time Labeled Petri Net Systems with Unobservable Transitions
    Qin, Tao
    Li, Zhiwu
    MATHEMATICS, 2025, 13 (04)
  • [2] The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems
    Xia, Chuanliang
    Wang, Zhuangzhuang
    Wang, Zhong
    ELECTRONICS, 2022, 11 (09)
  • [3] Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs
    Cong, Xuya
    Chen, Yufeng
    Li, Zhiwu
    Wu, Naiqi
    Nasr, Emad Abouel
    El-Tamimi, Abdulaziz Mohammed
    IEEE ACCESS, 2018, 6 : 8245 - 8257
  • [4] Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs
    Cong, XuYa
    Gu, Chao
    Uzam, Murat
    Chen, YuFeng
    Al-Ahmari, Abdulrahman M.
    Wu, NaiQi
    Zhou, MengChu
    Li, ZhiWu
    ASIAN JOURNAL OF CONTROL, 2018, 20 (01) : 511 - 530
  • [5] Transition systems of Elementary Net Systems with inhibitor arcs
    Pietkiewicz-Koutny, M
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 310 - 327
  • [6] Deciding detectability for labeled Petri nets
    Masopust, Tomas
    Yin, Xiang
    AUTOMATICA, 2019, 104 : 238 - 241
  • [7] Verification of Detectability in Labeled Petri Nets
    Tong, Yin
    Lan, Hao
    Guo, Jin
    2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, : 5627 - 5632
  • [8] Diagnosability Analysis of Labeled Time Petri Net Systems
    Basile, Francesco
    Cabasino, Maria Paola
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1384 - 1396
  • [9] Critical Observability of Labeled Time Petri Net Systems
    Cong, Xuya
    Fanti, Maria Pia
    Mangini, Agostino Marcello
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 20 (03) : 2063 - 2074
  • [10] On detectability of labeled Petri nets and finite automata
    Kuize Zhang
    Alessandro Giua
    Discrete Event Dynamic Systems, 2020, 30 : 465 - 497
12345