Symmetry reduced state classes for time petri nets

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat
In SAC 2015 — 30th Annual ACM Symposium on Applied Computing, apr 2015.

 PDF  DOI〈10.1145/2695664.2695803〉

Abstract

#

We propose a method to exploit the symmetries of a realtime 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. The approach has been implemented and experiments are reported.

References

#

• An extended version appears in Science of Computer Programming 132(2):209-225, Aug 2016.  Link

Citation

#

@InProceedings{DalzilioS:sac2015symmetry,
   author    = {Bourdil, Pierre-Alain and Berthomieu, Bernard and {Dal Zilio}, Silvano and Vernadat, François},
   title     = {{Symmetry reduced state classes for time petri nets}},
   booktitle = {SAC 2015 -- 30th Annual ACM Symposium on Applied Computing},
   publisher = {ACM},
   doi = {10.1145/2695664.2695803},
   pages     = {1751--1758},
   month     = apr, 
   year      = 2015
}