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 Σ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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-12002-2_29 | TACAS |
Keywords | Field | DocType |
complex model,model checker,decision diagrams field,main purpose,algebraic clustering,graphical editor,efficient evolution,symbolic model checking,algebraic petri nets,high-level petri,decision diagram,petri net | Abstract data type,Algebraic number,Programming language,Petri net,Model checking,Computer science,Reachability,Process architecture,Theoretical computer science,Cluster analysis,State space | Conference |
Volume | ISSN | ISBN |
6015 | 0302-9743 | 3-642-12001-6 |
Citations | PageRank | References |
8 | 0.57 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Didier Buchs | 1 | 280 | 36.88 |
Steve Hostettler | 2 | 40 | 4.37 |
Alexis Marechal | 3 | 46 | 5.42 |
Matteo Risoldi | 4 | 141 | 10.03 |