1. A. Benasser. L’accessibilité dans les réseaux de Petri: une approche basée sur la programmation par contraintes. Ph.D. thesis, Université des sciences et technologies de Lille, 2000.
2. G. Berthelot, Transformations and decompositions of nets, in: W. Brauer, W. Reisig, G. Rozenberg, editors, Advances in Petri Nets 1986 Part I, Proceedings of an Advanced Course, vol. 254, 1986, pp. 359–376.
3. T. Bourdeaud’huy, S. Hanafi, P. Yim, Solving the Petri nets reachability problem using the Logical Abstraction technique and mathematical programming, in: CPAIOR’04, International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, LNCS 3011, Nice, France, 20–22 avril 2004, pp. 112–127.
4. T. Bourdeaud’huy, S. Hanafi, P. Yim, Efficient reachability analysis of bounded Petri nets using constraint programming. In SMC’04, International Conference on Systems, Man and Cybernetics, La Hague, Hollande, 10–13 octobre 2004.
5. T. Bourdeaud’huy, Techniques d’Abstraction pour l’analyse et la synthèse de réseaux de Petri. Ph.D. thesis, Ecole Centrale de Lille, 13 décembre 2004.