ICover is a fork of QCover, a Python implementation of a decision procedure for the Petri net coverability problem. ICover performs a backward coverability search that is pruned with the help of forward invariants. Some preprocessings have been implemented to accelerate the computation.
See QCover.
For any question concerning ICover, contact Thomas Geffroy.
[GLS17] T. Geffroy, J. Leroux, and G. Sutre. Occam's Razor Applied to the Petri Net Coverability Problem. Proc. 10th Int. Workshop on Reachability Problems (RP'16), Aalborg, Denmark, Sep. 2016, volume 9899 of Lecture Notes in Computer Science, pages 77-89. Springer, 2016.. Available online here.