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...

Celý popis

Podrobná bibliografia

Vydané v:	Science of computer programming Ročník 132; číslo Part 2; s. 209 - 225
Hlavní autori:	Bourdil, Pierre-Alain, Berthomieu, Bernard, Dal Zilio, Silvano, Vernadat, François
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 15.12.2016 Elsevier
Edícia:	Science of Computer Programming
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!