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 条
  • [41] ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets
    Liu, Ruotian
    Ammour, Rabah
    Brenner, Leonardo
    Demongodin, Isabel
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 84 - 99
  • [42] Improving the usability of Petri nets with the >>Petri Net Baukasten<<
    Weber, H
    Lembke, S
    Borusan, A
    UNIFYING PETRI NETS, 2001, 2128 : 54 - 78
  • [43] Towards TCTLhΔ model checking of Time Petri Nets
    Chtourou, Ameni
    Sbai, Zohra
    2016 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2016, : 563 - 568
  • [44] Model checking Bounded Prioritized Time Petri Nets
    Berthomieu, Bernard
    Peres, Florent
    Vernadat, Francois
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 523 - +
  • [45] Model repair of Time Petri Nets with temporal anomalies
    Basile, F.
    Chiacchio, P.
    Coppola, J.
    IFAC PAPERSONLINE, 2015, 48 (07): : 85 - 90
  • [46] ON THE COMPUTATION OF FLOW AND CYCLE TIME DISTRIBUTIONS OF MARKING STATES IN STOCHASTIC PETRI NETS
    GIGLMAYR, J
    NTZ ARCHIV, 1988, 10 (12): : 339 - 349
  • [47] Continuous-Time Delay-Petri Nets as A New Tool to Design State Space Controller
    Farahani, Alireza Ahangarani
    Dideban, Abbas
    INFORMATION TECHNOLOGY AND CONTROL, 2016, 45 (04): : 401 - +
  • [48] State class constructions for branching analysis of time Petri nets
    Berthomieu, B
    Vernadat, F
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 442 - 457
  • [49] Local contact state space generation using colored Petri nets*
    Rosell, J
    WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 143 - 148
  • [50] On the use of Petri Nets for the computation of completion time distribution for short TCP transfers
    Gaeta, R
    Gribaudo, M
    Manini, D
    Sereno, M
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 181 - +
12345