Use of constraints in Petri nets and their novel applications. - Frédéric Boutet; Gilles Motet; Jean-Marie Kubek (SMC, 1998)