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

Full description

Bibliographic Details

Published in:	Science of computer programming Vol. 132; no. Part 2; pp. 209 - 225
Main Authors:	Bourdil, Pierre-Alain, Berthomieu, Bernard, Dal Zilio, Silvano, Vernadat, François
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 15.12.2016 Elsevier
Series:	Science of Computer Programming
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!