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]
@inproceedings{DrissYKG04,
title = {Reachability search in timed Petri nets using constraint programming},
author = {Olfa Belkahla Driss and Pascal Yim and Ouajdi Korbaa and Khaled Ghédira},
year = {2004},
doi = {10.1109/ICSMC.2004.1401311},
url = {http://dx.doi.org/10.1109/ICSMC.2004.1401311},
tags = {constraints, programming, search, Pascal},
researchr = {https://researchr.org/publication/DrissYKG04},
cites = {0},
citedby = {0},
pages = {4923-4928},
booktitle = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004},
publisher = {IEEE},
isbn = {0-7803-8566-7},
}