Probabilistic Time Petri Nets

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

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

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 processes; time Petri nets; probabilistic systems; state classes

Mathematics Subject Classification ID

90C40: Markov and semi-Markov decision processes

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

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Uses Software

• PRISM