Action planning for directed model checking of Petri nets

MaRDI QIDQ2852020zbMATH OpenFDO

Authors Stefan Edelkamp, Shahid Jabbar

Publication date 7 October 2013

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

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) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Directed Unfolding of Petri Nets
• Directed reachability for infinite-state systems
• Sequential and distributed model checking of Petri net specifications
• scientific article; zbMATH DE number 2079763
• Model Checking Software

Cited in

(8)

• Automated planning as an early verification tool for distributed control
• Action failure recovery via model-based diagnosis and conformant planning
• Planning without state space explosion: Petri net to Markov decision process
• Directed Unfolding of Petri Nets
• scientific article; zbMATH DE number 1982206 (Why is no real title available?)
• scientific article; zbMATH DE number 2079763 (Why is no real title available?)
• Property directed reachability for automated planning
• Fast and accurate data-driven goal recognition using process mining techniques

This page was built for publication: Action planning for directed model checking of Petri nets

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