Improving the State Space Computation of the Time Stream Petri Nets Model

被引：0
|
作者：
20152901037866 [1 ]
机构：
[1] Abdelli, Abdelkrim
来源：
Abdelli, Abdelkrim (abdelli@lsi-usthb.dz) | 1607年 / Oxford University Press卷 / 58期
关键词：
Multimedia systems;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Improving the State Space Computation of the Time Stream Petri Nets Model
    Abdelli, Abdelkrim
    COMPUTER JOURNAL, 2015, 58 (07): : 1607 - 1627
  • [2] State space computation and analysis of Time Petri Nets
    Gardey, Guillaume
    Roux, Olivier H.
    Roux, Olivier F.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 301 - 320
  • [3] Age semantics based State Space Computation of Time Petri Nets.
    Abdelli, Abdelkrim
    2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 361 - 368
  • [4] Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation
    Roux, OH
    Lime, D
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 371 - 390
  • [5] Improving state class constructions for CTL* model checking of time Petri nets
    Hadjidj R.
    Boucheneb H.
    International Journal on Software Tools for Technology Transfer, 2008, 10 (2) : 167 - 184
  • [6] Decidability, expressivity and state-space computation of Stopwatch Petri nets with discrete-time semantics
    Magnin, Morgan
    Molinaro, Pierre
    Roux, Olivier H.
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 33 - +
  • [7] Symbolic computation tree logic model checking of time Petri nets
    Okawa, Yasukichi
    Yoneda, Tomohiro
    Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi), 1997, 80 (04): : 11 - 20
  • [8] Symbolic computation tree logic model checking of time Petri nets
    Okawa, Y
    Yoneda, T
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1997, 80 (04): : 11 - 20
  • [9] A New Approach To Abstract Reachability State Space of Time Petri Nets
    Klai, Kais
    Aber, Naim
    Petrucci, Laure
    2013 20th International Symposium on Temporal Representation and Reasoning (TIME), 2013, : 117 - 124
  • [10] Time Petri nets state space reduction using dynamic programming
    Popova-Zeugmann, Louchka
    CONTROL AND CYBERNETICS, 2006, 35 (03): : 721 - 748
12345