Solving scheduling problems using Petri nets and constraint logic programming P. Richard and C. Proust RAIRO-Oper. Res., 32 2 (1998) 125-143 Published online: 10 February 2017 DOI: 10.1051/ro/1998320201251