Stochastic decision Petri nets

DOI10.1007/978-3-031-33620-1_15MaRDI QIDQ6535196zbMATH OpenFDO

Authors Florian Wittbold, Rebecca Bernemann, R. Heckel, Tobias Heindel, Barbara König

Publication date 16 November 2023

Full work available at URL https://doi.org/10.1007/978-3-031-33620-1_15

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)

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

Cites work

• Bayesian network semantics for Petri nets
• Computational Complexity
• Handbook of Markov decision processes. Methods and applications
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3128787 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1161555 (Why is no real title available?)
• scientific article; zbMATH DE number 1493045 (Why is no real title available?)
• scientific article; zbMATH DE number 2243356 (Why is no real title available?)
• Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
• Optimal control of Markov processes with incomplete state information
• PP is as Hard as the Polynomial-Time Hierarchy
• Probabilistic graph transformation systems
• Stochastic Boolean satisfiability
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Unfoldings: A partial-order approach to model checking.
• Updating probabilistic knowledge on condition/event nets using Bayesian networks

Cited in

(7)

• scientific article; zbMATH DE number 5014120 (Why is no real title available?)
• scientific article; zbMATH DE number 3905853 (Why is no real title available?)
• Symmetric stochastic Petri nets
• scientific article; zbMATH DE number 1786473 (Why is no real title available?)
• scientific article; zbMATH DE number 1790541 (Why is no real title available?)
• scientific article; zbMATH DE number 5033888 (Why is no real title available?)
• scientific article; zbMATH DE number 2243054 (Why is no real title available?)

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)