Symmetry reduction for time Petri net state classes

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat. Symmetry reduction for time Petri net state classes. Science of Computer Programming, 132:209-225, 2016. [doi]

Abstract

Abstract is missing.