An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
Origin : Files produced by the author(s)