Probabilistic Time Petri Nets

DOI10.1007/978-3-319-39086-4_16zbMath1346.68131OpenAlexW2466079098MaRDI QIDQ2822657

Benoît Delahaye, Yrvann Emzivat, Olivier H. Roux, Didier Lime

Publication date: 4 October 2016

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-39086-4_16

zbMATH Keywords

Markov decision processestime Petri netsprobabilistic systemsstate classes

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) 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)

Related Items (1)

Unnamed Item

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
• Automatic verification of real-time systems with discrete probability distributions.
• Model checking for probabilistic timed automata
• Stochastic Timed Automata
• Discrete Time Stochastic Petri Nets

This page was built for publication: Probabilistic Time Petri Nets