PInA

PInA is a software tool for computation and analysis of invariants of place/transition nets.