Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.

Thomas Bourdeaud'huy, Sad Hanafi, Pascal Yim

Browse the full CPAIOR paper archive.