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.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.laas.fr/hal-01561994
Contributeur : Bernard Berthomieu <>
Soumis le : jeudi 13 juillet 2017 - 14:23:53
Dernière modification le : samedi 27 octobre 2018 - 01:29:53
Document(s) archivé(s) le : vendredi 26 janvier 2018 - 18:02:31

Fichier

symmetries.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01561994, version 1

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. 〈hal-01561994〉

Partager

Métriques

Consultations de la notice

170

Téléchargements de fichiers

82