Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms

DOI10.1007/978-3-540-73094-1_6MaRDI QIDQ3612925zbMATH OpenOpenAlexFDO

Authors

Publication date 11 March 2009

Published in Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73094-1_6

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Piecewise deterministic Markov processes represented by dynamically coloured Petri nets
• scientific article; zbMATH DE number 1786473
• scientific article; zbMATH DE number 5014120
• Applications and Theory of Petri Nets 2005
• scientific article; zbMATH DE number 1424143

Cited in

(6)

• Approximated timed reachability graphs for the robust control of discrete event systems
• Performance optimization for a class of generalized stochastic Petri nets
• Planning without state space explosion: Petri net to Markov decision process
• scientific article; zbMATH DE number 7529534 (Why is no real title available?)
• Stochastic decision Petri nets
• Causally deterministic Markov decision processes

Describes a project that uses

Uses Software

• GreatSPN
• GreatSPN 1.7
• CADP
• PRISM

This page was built for publication: Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms

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