Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph

被引：0
|
作者：
Ran, Ning [1 ]
Nie, Jingyao [1 ]
Meng, Aiwen [1 ]
Seatzu, Carla [2 ]
机构：
[1] Hebei University, Laboratory of Energy-Saving Technology, College of Electronic & Information Engineering, Baoding,071002, China
[2] University of Cagliari, Department of Electrical and Electronic Engineering, Cagliari,09124, Italy
来源：
IEEE Transactions on Automatic Control | 2024年 / 69卷 / 10期
基金：
中国国家自然科学基金;
关键词：
in part by the Natural Science Foundation of Hebei Province under Grant F2024201008;
D O I：
10.1109/TAC.2024.3397695
中图分类号：
学科分类号：
摘要：
32
引用
收藏
页码：7159 / 7165
相关论文
共 50 条
  • [1] HIERARCHICAL REACHABILITY GRAPH OF BOUNDED PETRI NETS FOR CONCURRENT-SOFTWARE ANALYSIS
    NOTOMI, M
    MURATA, T
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (05) : 325 - 336
  • [2] A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets
    Fumagalli, Ivano
    Piroddi, Luigi
    Cordone, Roberto
    [J]. 2010 AMERICAN CONTROL CONFERENCE, 2010, : 3365 - 3370
  • [3] Efficient reachability analysis of bounded Petri nets using constraint programming
    Bourdeaud'huy, T
    Yim, P
    Hanafi, S
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1870 - 1875
  • [4] Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs
    Gu, Chao
    Ma, Ziyue
    Li, Zhiwu
    Giua, Alessandro
    [J]. IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 1220 - 1225
  • [5] Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
    Basile, Francesco
    De Tommasi, Gianmaria
    Sterle, Claudio
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (08) : 3653 - 3666
  • [6] REACHABILITY ANALYSIS OF PETRI NETS USING SYMMETRIES
    STARKE, PH
    [J]. SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 293 - 303
  • [7] Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
    Gu, Chao
    Ma, Ziyue
    Li, Zhiwu
    [J]. AUTOMATICA, 2024, 164
  • [8] A symbolic reachability graph for coloured petri nets
    Chiola, G
    Dutheillet, C
    Franceschinis, G
    Haddad, S
    [J]. THEORETICAL COMPUTER SCIENCE, 1997, 176 (1-2) : 39 - 65
  • [9] Reachability graph for autonomous continuous Petri nets
    David, R
    Alla, H
    [J]. POSITIVE SYSTEMS, PROCEEDINGS, 2003, 294 : 63 - 70
  • [10] Hierarchical Reachability Graph Generation for Petri Nets
    Peter Buchholz
    Peter Kemper
    [J]. Formal Methods in System Design, 2002, 21 : 281 - 315
12345