loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)
Time Petri Nets Analysis with TINA
Riverside, California
September 11-September 14
ISBN: 0-7695-2665-9
ASCII Text
x 
 
Bernard Berthomieu, Francois Vernadat, "Time Petri Nets Analysis with TINA," Quantitative Evaluation of Systems, International Conference on, pp. 123-124, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2006.56,
author = {Bernard Berthomieu and Francois Vernadat},
title = {Time Petri Nets Analysis with TINA},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2665-9},
pages = {123-124},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2006.56},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - Time Petri Nets Analysis with TINA
SN - 0-7695-2665-9
SP123
EP124
A1 - Bernard Berthomieu,
A1 - Francois Vernadat,
PY - 2006
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
Bernard Berthomieu, LAAS / CNRS, France
Francois Vernadat, LAAS / CNRS, France
Beside the usual graphic editing and simulation facilities, the software tool Tina may build a number of state space abstractions for Petri nets or Time Petri nets, preserving certain classes of properties. For Petri nets, these abstractions help preventing combinatorial explosion and rely on so-called partial order techniques such as covering steps and/or persistent sets. For Time Petri nets, that have in general infinite state spaces, they provide finite representation of their behavior, in terms of state class graphs.
Citation:
Bernard Berthomieu, Francois Vernadat, "Time Petri Nets Analysis with TINA," qest, pp.123-124, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.