AlPiNA

AlPiNA stands for Algebraic Petri Nets Analyzer and is a model checker for Algebraic Petri Nets. It has been developped by the SMV Group and is 100% written in Java and available under the terms of the GNU general public license.