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.


References in zbMATH (referenced in 4 articles , 1 standard article )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Kordon, Fabrice; Linard, Alban; Buchs, Didier; Colange, Maximilien; Evangelista, Sami; Lampka, Kai; Lohmann, Niels; Paviot-Adet, Emmanuel; Thierry-Mieg, Yann; Wimmel, Harro: Report on the model checking contest at Petri nets 2011 (2012) ioport
  2. Hostettler, Teve; Marechal, Alexis; Linard, Alban; Risoldi, Matteo; Buchs, Didier: High-level Petri net model checking with AlPiNA (2011)
  3. Buchs, Didier; Hostettler, Steve; Marechal, Alexis; Risoldi, Matteo: AlPiNA: A symbolic model checker (2010)
  4. Buchs, Didier; Hostettler, Steve; Marechal, Alexis; Risoldi, Matteo: AlPiNA: an algebraic Petri net analyzer (2010) ioport