Parallel LTL-X model checking of high-level Petri nets based on unfoldings

DOI10.1007/978-3-540-27813-9_9MaRDI QIDQ5312949zbMATH OpenOpenAlexFDO

Authors Claus Schröter, Victor Khomenko

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98490

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)

Recommendations

• Implementing LTL model checking with net unfoldings
• scientific article; zbMATH DE number 1822435
• Model checking using net unfoldings
• Parallelisation of the Petri net unfolding algorithm
• LTL model checking for modular Petri nets

Cited in

(6)

• Punf
• scientific article; zbMATH DE number 1822435 (Why is no real title available?)
• Decompositional Petri Net Reductions
• Parallelisation of the Petri net unfolding algorithm
• Implementing LTL model checking with net unfoldings
• LTL model checking for modular Petri nets

This page was built for publication: Parallel LTL-X model checking of high-level Petri nets based on unfoldings

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