High-level Petri net model checking with AlPiNA

MaRDI QIDQ3225718zbMATH OpenFDO

Authors Teve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs

Publication date 22 March 2012

Full work available at URL http://iospress.metapress.com/content/8w65090m336h0280/fulltext.html

zbMATH Keywords

algebraic Petri netsdecision diagramshigher-level net modelsmodel checkingstate space generationsystem designtopological and algebraic clusteringunfoldingverification

Mathematics Subject Classification ID

Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• AlPiNA: A Symbolic Model Checker
• scientific article; zbMATH DE number 2088675
• Sequential and distributed model checking of Petri net specifications
• Applications and Theory of Petri Nets 2005
• State space analysis of Petri nets with relation-algebraic methods

Cited in

(5)

• Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
• scientific article; zbMATH DE number 2088675 (Why is no real title available?)
• AlPiNA: A Symbolic Model Checker
• Applications and Theory of Petri Nets 2005
• Formal methods for mobile ad hoc networks: a survey

Describes a project that uses

Uses Software

• AlPiNA
• PNML
• CoopnBuilder
• Maude

This page was built for publication: High-level Petri net model checking with AlPiNA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3225718)