This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 Ninth International Conference on Application of Concurrency to System Design
Time Arc Petri Nets and Their Analysis
Augsburg, Germany
July 01-July 03
ISBN: 978-0-7695-3697-2
ASCII Text
x 
 
Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux, "Time Arc Petri Nets and Their Analysis," 2010 10th International Conference on Application of Concurrency to System Design, pp. 138-147, 2009 Ninth International Conference on Application of Concurrency to System Design, 2009.
 
 
BibTex
x
 
@article{ 10.1109/ACSD.2009.21,
author = {Hind Rakkay and Hanifa Boucheneb and Olivier H. Roux},
title = {Time Arc Petri Nets and Their Analysis},
journal ={2010 10th International Conference on Application of Concurrency to System Design},
volume = {0},
year = {2009},
issn = {1550-4808},
pages = {138-147},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.21},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2010 10th International Conference on Application of Concurrency to System Design
TI - Time Arc Petri Nets and Their Analysis
SN - 1550-4808
SP138
EP147
A1 - Hind Rakkay,
A1 - Hanifa Boucheneb,
A1 - Olivier H. Roux,
PY - 2009
KW - Time arc Petri nets
KW - strong and weak semantics
KW - state space abstraction
KW - state zone graph.
VL - 0
JA - 2010 10th International Conference on Application of Concurrency to System Design
ER -
 
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, markingreachability and language emptiness problems for the proposed model and all its sub-classes.
Index Terms:
Time arc Petri nets, strong and weak semantics, state space abstraction, state zone graph.
Citation:
Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux, "Time Arc Petri Nets and Their Analysis," acsd, pp.138-147, 2009 Ninth International Conference on Application of Concurrency to System Design, 2009
Usage of this product signifies your acceptance of the Terms of Use.