Thomas Bourdeaud huy, Pascal Yim, Saïd Hanafi. Efficient reachability analysis of bounded Petri nets using constraint programming. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004. pages 1870-1875, IEEE, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.