Efficient reachability analysis of bounded Petri nets using constraint programming.

Thomas Bourdeaud'huy, Pascal Yim, Sad Hanafi

Browse the full SMC paper archive.