Probabilistic time Petri nets

DOI10.1007/978-3-319-39086-4_16MaRDI QIDQ2822657zbMATH OpenOpenAlexFDO

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

Publication date 4 October 2016

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

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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

zbMATH Keywords

Markov decision processesprobabilistic systemstime Petri netsstate classes

Mathematics Subject Classification ID

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

Recommendations

• Realizability of schedules by stochastic time Petri nets with blocking semantics
• The right timing: reflections on the modeling and analysis of time
• Model checking for probabilistic timed automata
• Discrete Time Stochastic Petri Nets
• Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths

Cites work

• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• scientific article; zbMATH DE number 1956600 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Automatic verification of real-time systems with discrete probability distributions.
• Discrete Time Stochastic Petri Nets
• Model checking for probabilistic timed automata
• Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
• Stochastic timed automata

Cited in

(11)

• Event structures for Petri nets with persistence
• Taming confusion for modeling and implementing probabilistic concurrent systems
• scientific article; zbMATH DE number 1515849 (Why is no real title available?)
• scientific article; zbMATH DE number 5033888 (Why is no real title available?)
• Realizability of schedules by stochastic time Petri nets with blocking semantics
• Critical paths in the partial order unfolding of a stochastic Petri net
• Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system
• Applications and Theory of Petri Nets 2005
• Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths
• Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes
• AI 2005: Advances in Artificial Intelligence

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Probabilistic time Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2822657)