![](/img/cover-not-exists.png)
Symmetry reduction for time Petri net state classes
Bourdil, Pierre-Alain, Berthomieu, Bernard, Dal Zilio, Silvano, Vernadat, FrançoisLanguage:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2016.08.008
Date:
September, 2016
File:
PDF, 1.09 MB
english, 2016