Symmetry reduced state classes for time petri nets

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]

Authors

Pierre-Alain Bourdil

This author has not been identified. Look up 'Pierre-Alain Bourdil' in Google

Bernard Berthomieu

This author has not been identified. Look up 'Bernard Berthomieu' in Google

Silvano Dal-Zilio

This author has not been identified. Look up 'Silvano Dal-Zilio' in Google

François Vernadat

This author has not been identified. Look up 'François Vernadat' in Google