Stochastic decision Petri nets
From MaRDI portal
Publication:6535196
DOI10.1007/978-3-031-33620-1_15zbMATH Open1541.68261MaRDI QIDQ6535196FDOQ6535196
Authors: Florian Wittbold, Rebecca Bernemann, R. Heckel, Tobias Heindel, Barbara König
Publication date: 16 November 2023
Recommendations
- scientific article; zbMATH DE number 977553
- Discrete Time Stochastic Petri Nets
- scientific article; zbMATH DE number 1786473
- scientific article; zbMATH DE number 749809
- Stochastic Petri Nets
- scientific article; zbMATH DE number 2243054
- Stochastic Petri net representation of discrete event simulations
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Optimal control of Markov processes with incomplete state information
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computational Complexity
- True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- PP is as Hard as the Polynomial-Time Hierarchy
- Title not available (Why is that?)
- Handbook of Markov decision processes. Methods and applications
- Unfoldings: A partial-order approach to model checking.
- Stochastic Boolean satisfiability
- Title not available (Why is that?)
- Bayesian network semantics for Petri nets
- Probabilistic graph transformation systems
- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
- Updating probabilistic knowledge on condition/event nets using Bayesian networks
Cited In (7)
This page was built for publication: Stochastic decision Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535196)