en
Proceedings chapter
Open access
English

AlPiNA: an Algebraic Petri Net Analyzer

Presented at Paphos (Cyprus), March 20-28, 2010
PublisherSpringer
Collection
  • Lecture Notes in Computer Science (LNCS); 6015
Publication date2010
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.

NoteConference held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010
Citation (ISO format)
BUCHS, Didier et al. AlPiNA: an Algebraic Petri Net Analyzer. In: 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)) doi: 10.1007/978-3-642-12002-2_29
Main files (1)
Proceedings chapter
accessLevelPublic
Identifiers
ISBN978-3-642-12001-5
831views
320downloads

Technical informations

Creation03/26/2010 5:20:00 PM
First validation03/26/2010 5:20:00 PM
Update time03/14/2023 3:25:56 PM
Status update03/14/2023 3:25:56 PM
Last indexation02/12/2024 6:21:26 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack