Symmetry reduced state classes for time petri nets.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, Franois Vernadat

Browse the full SAC paper archive.