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 条
  • [31] Symmetry Reduced State Classes for Time Petri Nets
    Bourdil, Pierre-Alain
    Berthomieu, Bernard
    Dal Zilio, Silvano
    Vernadat, Francois
    30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1751 - 1758
  • [32] State class graph for fuzzy time Petri nets
    Cardoso, J.
    Mao, Xiaoyu
    Valette, Robert
    MODELLING AND SIMULATION 2006, 2006, : 350 - +
  • [33] Abstract state spaces for Time Petri nets analysis
    Berthomieu, Bernard
    Peres, Florent
    Vernadat, Francois
    ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 298 - 304
  • [34] An approach to distributed state space exploration for coloured Petri nets
    Kristensen, LM
    Petrucci, L
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 474 - 483
  • [35] Symbolic state space of stopwatch Petri nets with discrete-time semantics (theory paper)
    Magnin, Morgan
    Lime, Didier
    Roux, Olivier H.
    APPLICATIONS AND THEORY OF PETRI NETS, 2008, 5062 : 307 - 326
  • [36] The tool TINA - Construction of abstract state spaces for Petri nets and Time Petri
    Berthomieu, B
    Ribet, PO
    Vernadat, F
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2004, 42 (14) : 2741 - 2756
  • [37] A New State Model for DRAMs Using Petri Nets
    Jung, Matthias
    Kraft, Kira
    Wehn, Norbert
    INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION (SAMOS 2017), 2017, : 221 - 226
  • [38] Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets
    Bernardi, Simona
    Campos, Javier
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2009, 5 (02) : 168 - 180
  • [39] Petri Nets with Time Windows: A Comparison to Classical Petri Nets
    Wegener, Jan-Thierry
    Popova-Zeugmann, Louchka
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 337 - 352
  • [40] Improving the Verification of Real-Time Systems Using Time Petri Nets
    del Foyo P.M.G.
    Silva J.R.
    Journal of Control, Automation and Electrical Systems, 2017, 28 (6) : 774 - 784
12345