TCTL Model Checking of Time Petri Nets

We consider Time Petri Nets (TPN) for which a firing time interval is associated with each transition. State space abstractions for TPN preserving various classes of properties (LTL, CTL and CTL∗) can be computed, in terms of so called state classes. Some methods were proposed to check quantitative t...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logic and computation 2009-12, Vol.19 (6), p.1509-1540
Hauptverfasser:	Boucheneb, Hanifa, Gardey, Guillaume, Roux, Olivier H.
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science model-checking Other TCTL Time Petri Net zone based state space abstraction
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!