Sequential and distributed model checking of Petri net specifications

MaRDI QIDQ2842854zbMATH OpenFDO

Authors Alexander Bell, B. R. Haverkort

Publication date 16 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105803913

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Nonnumerical algorithms (68W05) Distributed algorithms (68W15) Analysis of algorithms (68W40)

Recommendations

• Distributed disk-based algorithms for model checking very large Markov chains
• scientific article; zbMATH DE number 2114135
• scientific article; zbMATH DE number 408787
• Cluster-Based LTL Model Checking of Large Systems
• Simplification of CTL formulae for efficient model checking of Petri nets

Cited in

(19)

• Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
• \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL
• Model checking Petri nets with MSVL
• Simplification of CTL formulae for efficient model checking of Petri nets
• scientific article; zbMATH DE number 1696437 (Why is no real title available?)
• Using assumptions to distribute CTL model checking
• Action planning for directed model checking of Petri nets
• A database approach to distributed state space generation
• High-level Petri net model checking with AlPiNA
• scientific article; zbMATH DE number 408787 (Why is no real title available?)
• scientific article; zbMATH DE number 1101604 (Why is no real title available?)
• scientific article; zbMATH DE number 2064469 (Why is no real title available?)
• scientific article; zbMATH DE number 1515290 (Why is no real title available?)
• scientific article; zbMATH DE number 1751904 (Why is no real title available?)
• scientific article; zbMATH DE number 1796141 (Why is no real title available?)
• scientific article; zbMATH DE number 2114135 (Why is no real title available?)
• scientific article; zbMATH DE number 7438162 (Why is no real title available?)
• scientific article; zbMATH DE number 2188504 (Why is no real title available?)
• Model Checking Branching Properties on Petri Nets with Transits

This page was built for publication: Sequential and distributed model checking of Petri net specifications

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