Olfa Belkahla Driss, Pascal Yim, Ouajdi Korbaa, Khaled Ghédira. Reachability search in timed Petri nets using constraint programming. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004. pages 4923-4928, IEEE, 2004. [doi]
Abstract is missing.