Symbolic reachability graph and partial symmetries

被引：0
|
作者：
Haddad, S
Ilie, JM
Taghelit, M
Zouari, B
机构：
[1] UNIV PARIS 06, MASI, CNRS URA 818, F-75252 PARIS, FRANCE
[2] FAC SCI TUNIS, TUNIS 1060, TUNISIA
来源：
APPLICATION AND THEORY OF PETRI NETS 1995 | 1995年 / 935卷
关键词：
analysis and synthesis; structure and behavior of nets; well-formed Petri nets; symbolic reachability graphs; partial symmetries;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The construction of symbolic reachability graphs is a useful technique for reducing state explosion in High-level Petri nets. Such a reduction is obtained by exploiting the symmetries of the whole net [1]. In this paper, we extend this method to deal with partial symmetries. In a first time, we introduce an example which shows the interest and the principles of our method. Then we develop the general algorithm. Lastly we enumerate the properties of this Extended Symbolic Reachability Graph, including the reachability equivalence.
引用
收藏
页码：238 / 257
页数：20
相关论文
共 50 条
  • [1] A symbolic reachability graph for coloured petri nets
    Chiola, G
    Dutheillet, C
    Franceschinis, G
    Haddad, S
    THEORETICAL COMPUTER SCIENCE, 1997, 176 (1-2) : 39 - 65
  • [2] Symmetries in stochastic Petric nets - Construction of the symbolic graph
    Ioualalen, M
    Aissani, A
    RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH, 2000, 34 (02): : 237 - 249
  • [3] Efficient guided symbolic reachability using reachability expressions
    Thomas, Dina
    Chakraborty, Supratik
    Pandya, Paritosh
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 120 - 134
  • [4] Partial Reachability Graph Analysis of Petri Nets for Flexible Manufacturing Systems
    Hu, Menghuan
    Yang, Shaohua
    Chen, Yufeng
    IEEE ACCESS, 2020, 8 : 227925 - 227935
  • [5] Efficient guided symbolic reachability using reachability expressions
    Dina Thomas
    Supratik Chakraborty
    Paritosh Pandya
    International Journal on Software Tools for Technology Transfer, 2008, 10 (2) : 113 - 129
  • [6] The dimension of playing and the symbolic reachability
    Barbosa, Cristina Monteiro
    Maia Pereria, Andreza
    Cavgias Martins Fraga, Madellon
    Muruci Abreu, Michelle
    INTERNATIONAL JOURNAL OF PSYCHOLOGY, 2008, 43 (3-4) : 665 - 665
  • [7] LTSMIN: Distributed and Symbolic Reachability
    Blom, Stefan
    van de Pol, Jaco
    Weber, Michael
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 354 - 359
  • [8] Symbolic Computation of Local Symmetries of Nonlinear and Linear Partial and Ordinary Differential Equations
    Cheviakov A.F.
    Mathematics in Computer Science, 2010, 4 (2-3) : 203 - 222
  • [9] Symbolic and Compositional Reachability for Timed Automata
    Larsen, Kim Guldstrand
    REACHABILITY PROBLEMS, 2010, 6227 : 24 - 28
  • [10] Symbolic reachability analysis of hybrid systems
    Wong-Toi, H
    MOTION CONTROL (MC'98), 1999, : 271 - 276
12345