AlPiNA is a graphical editor and model checker for a class of high-level Petri nets called Algebraic Petri Nets. Its main purpose is to perform reachability checks on complex models. It performs symbolic model checking based on ∑DD, an efficient evolution in the Decision Diagrams field, using novel techniques such as algebraic clustering and algebraic unfolding. AlPiNA offers a user-friendly interface, and is easily extensible. © 2010 Springer-Verlag.
CITATION STYLE
Buchs, D., Hostettler, S., Marechal, A., & Risoldi, M. (2010). AlPiNA: An algebraic Petri net analyzer. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6015 LNCS, pp. 349–352). https://doi.org/10.1007/978-3-642-12002-2_29
Mendeley helps you to discover research relevant for your work.