Reachability Analysis via Net Structure

Exploitation of the structure of a Petri net is widely believed to be an ine cient approach to solving the reachability problem. We show that structure analysis can be combined with integer programming and partial order reduction to obtain a fast reachability solver.