loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC)
Abstract State Spaces for Time Petri Nets Analysis
May 05-May 07
ISBN: 978-0-7695-3132-8
ASCII Text
x 
 
Bernard Berthomieu, Florent Peres, Fran?ois Vernadat, "Abstract State Spaces for Time Petri Nets Analysis," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 298-304, 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008.
 
 
BibTex
x
 
@article{ 10.1109/ISORC.2008.75,
author = {Bernard Berthomieu and Florent Peres and Fran?ois Vernadat},
title = {Abstract State Spaces for Time Petri Nets Analysis},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3132-8},
pages = {298-304},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.75},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Abstract State Spaces for Time Petri Nets Analysis
SN - 978-0-7695-3132-8
SP298
EP304
A1 - Bernard Berthomieu,
A1 - Florent Peres,
A1 - Fran?ois Vernadat,
PY - 2008
KW - Time Petri Nets
KW - Abstract State Spaces
KW - State Classes
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -
 
Since their introduction by Merlin??in 1974, Time Petri nets have been widely used for the specification and verification of time constrained systems. The state??spaces of Time Petri nets are typically infinite. Model checking them first requires to produce finite abstractions for their state spaces preserving the properties of interest. The paper overviews the essential available abstractions.
Index Terms:
Time Petri Nets, Abstract State Spaces, State Classes
Citation:
Bernard Berthomieu, Florent Peres, Fran?ois Vernadat, "Abstract State Spaces for Time Petri Nets Analysis," isorc, pp.298-304, 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008
Usage of this product signifies your acceptance of the Terms of Use.