Time Arc Petri Nets and their analysis

被引：2

作者：

Rakkay, Hind ^{[1
]}

Boucheneb, Hanifa ^{[1
]}

Roux, Olivier H. ^{[2
]}

机构：

[1] Ecole Polytech, Dept Comp Engn, POB 6079,Stn Ctr Ville, Montreal, PQ H3C 3A7, Canada

[2] Ecole Cent Nantes, IRCCyN, F-44321 Nantes 3, France

来源：

NINTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS | 2009年

关键词：

Time arc Petri nets; strong and weak semantics; state space abstraction; state zone graph;

D O I：

10.1109/ACSD.2009.21

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We propose to extend time arc Petri nets by associating with each transition a strong or a weak firing semantics. The proposed model includes the semantics of existing time Petri nets where time intervals are associated with places, transitions and arcs in their weak and strong semantics. We show afterwards that state space abstraction techniques for constructing zone graphs can be adapted to the proposed model. For the theory of time Petri nets this result gives the decidability of k-boundedness, marking reachability and language emptiness problems for the proposed model and all its sub-classes.

引用

页码：138 / +

页数：3

共 50 条

[41] A Mixed Semantics Model for Schedulability Analysis of Time Petri Nets
Pan, Li
Zhao, Weidong
ICMECG: 2009 INTERNATIONAL CONFERENCE ON MANAGEMENT OF E-COMMERCE AND E-GOVERNMENT, PROCEEDINGS, 2009, : 503 - 508
[42] Analysis of Applications Conceived by Object Enhanced Time Petri Nets
Al-Janabi, Dahlia
Letia, Tiberiu S.
2019 23RD INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2019, : 279 - 286
[43] Decomposition analysis of random processes in stochastic time Petri nets
Ivanov, N.N.
Avtomatika i Telemekhanika, 2001, (10): : 209 - 222
[44] Fault diagnosis for Time Petri Nets
Jiroveanu, George
Boel, Rene K.
De Schutter, Bart
WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 313 - +
[45] Identification of labeled Time Petri nets
Basile, Francesco
Chiacchio, Pasquale
Coppola, Jolanda
2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 478 - 485
[46] Testing Equivalences of Time Petri Nets
E. N. Bozhenkova
I. B. Virbitskaite
Programming and Computer Software, 2020, 46 : 251 - 260
[47] COMPOSITIONAL ANALYSIS OF PETRI NETS
Zaitsev, D. A.
CYBERNETICS AND SYSTEMS ANALYSIS, 2006, 42 (01) : 126 - 136
[48] Minimization algorithms for time Petri nets
Pólrola, A
Penczek, W
FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 307 - 331
[49] Testing Equivalences of Time Petri Nets
Bozhenkova, E. N.
Virbitskaite, I. B.
PROGRAMMING AND COMPUTER SOFTWARE, 2020, 46 (04) : 251 - 260
[50] An interval analysis time approach for the characterization of the firing intervals in the time Petri nets
Lima, Evangivaldo A.
Lüders, Ricardo
Künzle, Luis Allan
Controle y Automacao, 2008, 19 (04): : 379 - 394

← 1 2 3 4 5 →