Stochastic decision Petri nets

DOI10.1007/978-3-031-33620-1_15zbMath1541.68261MaRDI QIDQ6535196

Tobias Heindel, Barbara König, Florian Wittbold, Rebecca Bernemann, Reiko Heckel

Publication date: 16 November 2023

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bayesian network semantics for Petri nets
• Unfoldings: A partial-order approach to model checking.
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Optimal control of Markov processes with incomplete state information
• Probabilistic Graph Transformation Systems
• PP is as Hard as the Polynomial-Time Hierarchy
• Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
• Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
• Computational Complexity
• Handbook of Markov decision processes. Methods and applications
• Stochastic Boolean satisfiability

This page was built for publication: Stochastic decision Petri nets