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 条
  • [1] TIMED PETRI NETS
    MARSAN, MA
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (05): : 312 - 313
  • [2] Timed petri nets
    Advances in Automation and Robotics, 1990, 2
  • [3] Timed processes of timed Petri nets
    Valero, V
    deFrutos, D
    Cuartero, F
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 490 - 509
  • [4] State equations and equivalent transformations for timed petri nets
    D. A. Zaitsev
    A. I. Sleptsov
    Cybernetics and Systems Analysis, 1997, 33 : 659 - 672
  • [5] State equations and equivalent transformations for timed Petri nets
    Zaitsev, DA
    Sleptsov, AI
    CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (05) : 659 - 672
  • [6] State feedback control of timed hybrid Petri nets
    Tanaka, A
    Ushio, T
    Kodama, S
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 2004, 87 (01): : 83 - 89
  • [7] Modular state space exploration for timed petri nets
    Lakos C.
    Petrucci L.
    Int. J. Softw. Tools Technol. Trans., 2007, 3-4 (393-411): : 393 - 411
  • [8] State feedback control of timed hybrid Petri nets
    Tanaka, A
    Ushio, T
    Kodama, S
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 2003, 86 (10): : 1 - 7
  • [9] A state estimation problem for timed continuous Petri nets
    Mahulea, Cristian
    Paola Cabasino, Maria
    Giua, Alessandro
    Seatzu, Carla
    PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 6310 - 6315
  • [10] Generalized state equation for petri nets
    Başkocagil, Cem
    Kurtulan, Salman
    WSEAS Transactions on Systems, 2011, 10 (09): : 295 - 305
12345