×

AlPiNA

swMATH ID: 2069
Software Authors: Buchs, Didier; Hostettler, Steve; Marechal, Alexis; Risoldi, Matteo
Description: 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
Homepage: http://alpina.unige.ch/
Programming Languages: Java
Operating Systems: None
Dependencies: None
Related Software: Crocodile; Helena; Maude; CoopnBuilder; PNML
Referenced in: 2 Publications

Standard Articles

1 Publication describing the Software Year
AlPiNA: an algebraic Petri net analyzer
Buchs, Didier; Hostettler, Steve; Marechal, Alexis; Risoldi, Matteo
2010

Referenced in 1 Serial

1 Fundamenta Informaticae

Referenced in 1 Field

2 Computer science (68-XX)

Referencing Publications by Year