UNIGE document Chapitre d'actes
previous document  unige:5622  next document
add to browser collection
Title

AlPiNA: an Algebraic Petri Net Analyzer

Authors
Published in Javier Esparza and Rupak Majumdar. Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference. Paphos (Cyprus) - March 20-28, 2010 - Springer. 2010, p. 349-352
Collection Lecture Notes in Computer Science (LNCS); 6015
Abstract 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 SigmaDD, 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.
Identifiers
ISBN: 978-3-642-12001-5
Note Conference held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010
Full text
Structures
Research group Software Modeling and Verification
Citation
(ISO format)
BUCHS, Didier et al. AlPiNA: an Algebraic Petri Net Analyzer. In: Javier Esparza and Rupak Majumdar (Ed.). Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference. Paphos (Cyprus). [s.l.] : Springer, 2010. p. 349-352. (Lecture Notes in Computer Science (LNCS); 6015) https://archive-ouverte.unige.ch/unige:5622

393 hits

181 downloads

Update

Deposited on : 2010-03-29

Export document
Format :
Citation style :