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

DOI10.1111/J.1475-3995.2009.00674.XzbMATH Open1168.90642OpenAlexW2093811986MaRDI QIDQ3393989FDOQ3393989

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

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

zbMATH Keywords

dynamic programmingshortest path problemMarkov decision processesPetri netsautomated planning

Mathematics Subject Classification ID

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

Cites Work

• System modelling with high-level Petri nets
• A technique of state space search based on unfolding
• Title not available (Why is that?)
• Markov nets: probabilistic models for distributed and concurrent systems
• Title not available (Why is that?)
• A predicate-transition net model for parallel interpretation of logic programs
• Title not available (Why is that?)
• A New Policy Evaluation Algorithm for Markov Decision Processes with Quasi Birth-Death Structure

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

Uses Software

• Walksat
• Graphplan

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)