Text this: Transient inter-production scheduling based on Petri nets and constraint programming.