2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) (2008)
May 5, 2008 to May 7, 2008
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.75
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.
Time Petri Nets, Abstract State Spaces, State Classes
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.