Abstract State Spaces for Time Petri Nets Analysis

May 05-May 07

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.75

2008 11th IEEE Symposium on Object Or ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Bernard Berthomieu Articles by Florent Peres Articles by Fran?ois Vernadat

	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 -

Bernard Berthomieu

Florent Peres

Fran?ois Vernadat

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.