Action planning for directed model checking of Petri nets

zbMATH Open1273.68255MaRDI QIDQ2852020FDOQ2852020

Stefan Edelkamp, Shahid Jabbar

Publication date: 7 October 2013

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

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

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)

Cited In (7)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)