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 条
  • [31] Hybrid Petri nets and analysis of its reachability
    Li, Huifeng
    Zhou, Rui
    Chen, Zongji
    [J]. Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2000, 26 (02): : 149 - 152
  • [32] Forward reachability analysis of timed Petri nets
    Abdulla, PA
    Deneux, J
    Mahata, P
    Nylén, A
    [J]. FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 343 - 362
  • [33] A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
    David, Alexandre
    Jacobsen, Lasse
    Jacobsen, Morten
    Srba, Jiri
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (102): : 125 - 140
  • [34] Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs
    Best, Eike
    Wimmel, Harro
    [J]. REACHABILITY PROBLEMS, RP 2016, 2016, 9899 : 51 - 62
  • [35] Efficient Reachability Analysis for Time Petri Nets
    Hadjidj, Rachid
    Boucheneb, Hanifa
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2011, 60 (08) : 1085 - 1099
  • [36] Reachability analysis of a class of Petri nets using place invariants and siphons
    Zhang, Xiu Yan
    Li, Zhi Wu
    Zhong, Chun Fu
    Al-Ahmari, Abdulrahman M.
    [J]. MAEJO INTERNATIONAL JOURNAL OF SCIENCE AND TECHNOLOGY, 2013, 7 (02) : 278 - 290
  • [37] Optimization of Consuming Resource Problem Based on Reachability Graph of Petri Nets
    Zhang Bo
    Qu Yizhi
    Ma Tao
    Li Peng
    [J]. 2011 30TH CHINESE CONTROL CONFERENCE (CCC), 2011, : 1745 - 1748
  • [38] Symbolic analysis of bounded Petri nets
    Pastor, E
    Cortadella, J
    Roig, O
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (05) : 432 - 448
  • [39] On persistent reachability in Petri nets
    Barylska, Kamila
    Mikulski, Lukasz
    Ochmanski, Edward
    [J]. INFORMATION AND COMPUTATION, 2013, 223 : 67 - 77
  • [40] A New Modified Reachability Graph of ω-independent Petri Nets and its Application
    Yang, Ru
    Ding, Zhijun
    Pan, Meiqin
    [J]. 2ND INTERNATIONAL CONFERENCE ON COMMUNICATION AND TECHNOLOGY (ICCT 2015), 2015, : 63 - 70
12345