• Home
  1. Home
  2. AlPiNA: an Algebraic Petri Net Analyzer
Proceedings chapter
OA Policy
English

AlPiNA: an Algebraic Petri Net Analyzer

Contributors

Buchs, Didier; Hostettler, Steve Patrick; Marechal Marin, Alexis Ayar; Risoldi, Matteo

Presented at

Paphos (Cyprus), March 20-28, 2010

Published in

Javier Esparza and Rupak Majumdar (Ed.), Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2010, 16th International Conference, p. 349-352

Publisher

Springer

Collection

  • Lecture Notes in Computer Science (LNCS); 6015

Publication date

2010

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.

Note

Conference held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010

UNIGE affiliation entities

UNIGE research groups

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. Javier Esparza and Rupak Majumdar (Ed.). 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

Identifiers

Additional URL for this publication

http://www.springerlink.com/content/yk07g4631202tm13/

ISBN

978-3-642-12001-5
1034views
518downloads

Technical informations

Creation

26/03/2010 17:20:00

First validation

26/03/2010 17:20:00

Update

14/03/2023 15:25:56

Status update

14/03/2023 15:25:56

Last indexation

29/10/2024 14:18:56
All rights reserved by Archive ouverte UNIGE and the University of Geneva
OpenAIRE Indexed & Validated