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 条

[21] A state equation for Petri nets with delaying places
Werner, Matthias
Muehl, Gero
13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 501 - +
[22] Generalized state equation of Petri Nets with priority
Lee, GB
Han, ZD
Lee, JS
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2003, 18 (11) : 1145 - 1153
[23] Limits of fluidification for a stochastic Petri Nets by timed continuous Petri Nets
Benaya, N.
El-Akchioui, N.
Mourabit, T.
2018 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND COMPUTER VISION (ISCV2018), 2018,
[24] On controllability of timed continuous Petri nets
Vazquez, C. Renato
Ramirez, Antonio
Recalde, Laura
Silva, Manuel
HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2008, 4981 : 528 - +
[25] Fuzzy multimodel of timed Petri nets
Hennequin, S
Lefebvre, D
El Moudni, A
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2001, 31 (02): : 245 - 251
[26] Generalized Timed Stochastic Petri Nets
Ivanov, N. N.
Automation and Remote Control (English translation of Avtomatika i Telemekhanika), 1996, 57 (02):
[27] Timed Petri Nets as a verification tool
Barad, M
1998 WINTER SIMULATION CONFERENCE PROCEEDINGS, VOLS 1 AND 2, 1998, : 547 - 554
[28] Determinization of timed Petri nets behaviors
Jan Komenda
Sébastien Lahaye
Jean-Louis Boimond
Discrete Event Dynamic Systems, 2016, 26 : 413 - 437
[29] INTERNATIONAL WORKSHOP ON TIMED PETRI NETS
不详
PERFORMANCE EVALUATION, 1986, 6 (01) : 83 - 83
[30] Generalized timed stochastic Petri nets
Ivanov, NN
AUTOMATION AND REMOTE CONTROL, 1996, 57 (10) : 1503 - 1512

← 1 2 3 4 5 →