Symmetry reduction for time Petri net state classes

We propose a method to exploit the symmetries of a real-time system represented by a Time Petri net for its verification by model-checking. The method handles both markings and timing constraints; it can be used in conjunction with the widely used state classes abstraction, a construction providing...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming Jg. 132; H. Part 2; S. 209 - 225
Hauptverfasser:	Bourdil, Pierre-Alain, Berthomieu, Bernard, Dal Zilio, Silvano, Vernadat, François
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 15.12.2016 Elsevier
Schriftenreihe:	Science of Computer Programming
Schlagworte:	Computer Science Software Engineering State classes Symmetry reduction Time Petri nets Symmetry reduction State classes Time Petri nets Time Petri Nets Symmetry Reduction State Classes
ISSN:	0167-6423, 1872-7964
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!