Reachability search in timed Petri nets using constraint programming.

Olfa Belkahla Driss, Pascal Yim, Ouajdi Korbaa, Khaled Ghdira

Browse the full SMC paper archive.