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

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

• 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)

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

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)