Reachability search in timed Petri nets using constraint programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Olfa Belkahla Driss' in GoogleThis author has not been identified. Look up 'Pascal Yim' in GoogleThis author has not been identified. Look up 'Ouajdi Korbaa' in GoogleThis author has not been identified. Look up 'Khaled Ghédira' in Google

runs on WebDSL