A Constraint Programming Approach for Generating Firing Sequences in Timed Petri Nets With Token Identification

Autor: HUANG, Yongliang, BOURDEAUD'HUY, Thomas, YVARS, Pierre-Alain, TOGUYENI, Armand
Zdroj: In IFAC Proceedings Volumes 2012 45(29):149-156
Databáze: ScienceDirect