Use of constraints in Petri nets for modelling and solving scheduling problems in preliminary system design. - Frédéric Boutet; G. Motet (SMC, 1998)