Planning without state space explosion: Petri net to Markov decision process

DOI10.1111/J.1475-3995.2009.00674.XMaRDI QIDQ3393989zbMATH OpenOpenAlexFDO

Authors S. Naguleswaran, Langford B. White

Publication date 28 August 2009

Published in International Transactions in Operational Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1475-3995.2009.00674.x

zbMATH Keywords

dynamic programmingshortest path problemMarkov decision processesPetri netsautomated planning

Mathematics Subject Classification ID

Dynamic programming (90C39) Markov and semi-Markov decision processes (90C40)

Recommendations

• Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
• Action planning for directed model checking of Petri nets
• Robustness analysis of Petri-net-based planning models in sequence space
• scientific article; zbMATH DE number 1751908
• Parameterized Petri nets and their application to planning and coordination in intelligent systems

Cites work

• scientific article; zbMATH DE number 1956601 (Why is no real title available?)
• scientific article; zbMATH DE number 2080061 (Why is no real title available?)
• scientific article; zbMATH DE number 1863174 (Why is no real title available?)
• A New Policy Evaluation Algorithm for Markov Decision Processes with Quasi Birth-Death Structure
• A predicate-transition net model for parallel interpretation of logic programs
• A technique of state space search based on unfolding
• Markov nets: probabilistic models for distributed and concurrent systems
• System modelling with high-level Petri nets

Cited in

(3)

• Path-constrained Markov decision processes: bridging the gap between probabilistic model-checking and decision-theoretic planning
• AI 2005: Advances in Artificial Intelligence
• Influence of modeling structure in probabilistic sequential decision problems

Describes a project that uses

Uses Software

• Graphplan
• Walksat

This page was built for publication: Planning without state space explosion: Petri net to Markov decision process

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