Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat. Symmetry reduced state classes for time petri nets. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong, editors, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. pages 1751-1758, ACM, 2015. [doi]
Abstract is missing.