Symbolic reachability analysis of Petri nets using ZBDDs

被引：0
|
作者：
Li, Feng-Ying [1 ,2 ]
Gu, Tian-Long [2 ]
Xu, Zhou-Bo [1 ,2 ]
机构：
[1] Electronic Engineering School, Xidian University, Xi'an 710071, China
[2] School of Computer Science, Guilin University of Electronic Technology, Guilin, Guangxi 541004, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2009年 / 32卷 / 12期
关键词：
D O I：
10.3724/SP.J.1016.2009.02420
中图分类号：
学科分类号：
摘要：
13
引用
收藏
页码：2420 / 2428
相关论文
共 50 条
  • [1] Symbolic Reachability Analysis of Integer Timed Petri Nets
    Wan, Min
    Ciardo, Gianfranco
    [J]. SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2009, 5404 : 595 - 608
  • [2] 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
  • [3] REACHABILITY ANALYSIS OF PETRI NETS USING SYMMETRIES
    STARKE, PH
    [J]. SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 293 - 303
  • [4] Reachability Analysis for a Class of Petri Nets
    Ru, Yu
    Hadjicostis, Christoforos N.
    [J]. PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 1261 - 1266
  • [5] Reachability analysis of logic Petri nets using incidence matrix
    Du, Yu Yue
    Ning, Yu Hui
    Qi, Liang
    [J]. ENTERPRISE INFORMATION SYSTEMS, 2014, 8 (06) : 630 - 647
  • [6] Reachability analysis of (timed) Petri nets using real arithmetic
    Bérard, B
    Fribourg, L
    [J]. CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 178 - 193
  • [7] Finite symbolic reachability graphs for high-level Petri nets
    Hameurlain, N
    Sibertin-Blanc, C
    [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 150 - 159
  • [8] Reduction Method for Reachability Analysis of Petri Nets
    韩赞东
    李基范
    [J]. Tsinghua Science and Technology, 2003, (02) : 231 - 235
  • [9] 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
  • [10] 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
12345