Skip to Main content Skip to Navigation
Journal articles

Symmetry reduction for time Petri net state classes

Abstract : 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 a finite representation of the behavior of a Time Petri net preserving its markings and traces. The approach has been implemented and experiments are reported.
Document type :
Journal articles
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download

https://hal.laas.fr/hal-01561994
Contributor : Bernard Berthomieu <>
Submitted on : Thursday, July 13, 2017 - 2:23:53 PM
Last modification on : Thursday, June 10, 2021 - 3:02:02 AM
Long-term archiving on: : Friday, January 26, 2018 - 6:02:31 PM

File

symmetries.pdf
Files produced by the author(s)

Identifiers

Citation

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat. Symmetry reduction for time Petri net state classes. Science of Computer Programming, Elsevier, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225. ⟨10.1016/j.scico.2016.08.008⟩. ⟨hal-01561994⟩

Share

Metrics

Record views

460

Files downloads

408