The Community for Technology Leaders
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2008)
May 5, 2008 to May 7, 2008
ISBN: 978-0-7695-3132-8
pp: 298-304
ABSTRACT
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

B. Berthomieu, F. Vernadat and F. Peres, "Abstract State Spaces for Time Petri Nets Analysis," 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), vol. 00, no. , pp. 298-304, 2008.
doi:10.1109/ISORC.2008.75
157 ms
(Ver 3.3 (11022016))