A Holistic State Equation for Timed Petri Nets

被引：0
|
作者：
Werner, Matthias [1 ]
Popova-Zeugmann, Louchka [2 ]
Haustein, Mario [1 ]
Pelz, E. [3 ]
机构：
[1] Tech Univ Chemnitz, Fac Informat, Chemnitz, Germany
[2] Humboldt Univ, Inst Informat, Berlin, Germany
[3] UPEC, LACL, Creteil, France
来源：
FUNDAMENTA INFORMATICAE | 2014年 / 133卷 / 2-3期
关键词：
D O I：
10.3233/FI-2014-1078
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we investigate Timed Petri nets (TPN) with fixed, possibly zero, durations and maximal step semantics. We define a new state representation where a state is a pair of a marking for the places and a marking for the transitions (a matrix of clocks). For this representation of states we provide an algebraic state equation. Such a state equation lets us prove a sufficient condition for the non-reachability of a state in a TPN. This application of the state equation is subsequently illustrated by an example.
引用
收藏
页码：305 / 322
页数：18
相关论文
共 50 条
  • [31] MICROPROGRAMMING IMPLEMENTATION OF TIMED PETRI NETS
    KUCHCINSKI, K
    PENG, Z
    INTEGRATION-THE VLSI JOURNAL, 1987, 5 (02) : 133 - 144
  • [32] Possibilistic Timed Safe Petri nets
    Sandri, S
    Cardoso, J
    1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 89 - 94
  • [33] Timed Petri nets for software applications
    Andrzejewski, G
    DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 73 - 78
  • [34] Branching Processes of Timed Petri Nets
    Virbitskaite, Irina
    Borovlyov, Victor
    Popova-Zeugmann, Louchka
    PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015, 2016, 9609 : 303 - 313
  • [35] Modeling and analysis of distributed state space generation for timed Petri nets
    Zuberek, WM
    Rada, I
    34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 93 - 98
  • [36] Symbolic Analysis of Timed Petri Nets
    Zuberek, Wlodek M.
    THEORY AND ENGINEERING OF COMPLEX SYSTEMS AND DEPENDABILITY, 2015, 365 : 593 - 602
  • [37] Determinization of timed Petri nets behaviors
    Komenda, Jan
    Lahaye, Sebastien
    Boimond, Jean-Louis
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (03): : 413 - 437
  • [38] On possibilistic timed safe Petri nets
    Sandri, S
    Cardoso, J
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (08) : 841 - 858
  • [39] CONTROLLED EXECUTIONS OF TIMED PETRI NETS
    CHRETIENNE, P
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (01): : 23 - 31
  • [40] Algebras of processes of timed Petri nets
    Winkowski, J
    CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 194 - 209
12345