Probabilistic time Petri nets
DOI10.1007/978-3-319-39086-4_16zbMATH Open1346.68131OpenAlexW2466079098MaRDI QIDQ2822657FDOQ2822657
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)
Full work available at URL: https://doi.org/10.1007/978-3-319-39086-4_16
Recommendations
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic verification of real-time systems with discrete probability distributions.
- Model checking for probabilistic timed automata
- Discrete Time Stochastic Petri Nets
- Title not available (Why is that?)
- Stochastic timed automata
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
Cited In (10)
- Taming confusion for modeling and implementing probabilistic concurrent systems
- Event structures for Petri nets with persistence
- Title not available (Why is that?)
- Realizability of schedules by stochastic time Petri nets with blocking semantics
- Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths
- Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system
- Critical paths in the partial order unfolding of a stochastic Petri net
- Title not available (Why is that?)
- AI 2005: Advances in Artificial Intelligence
- Applications and Theory of Petri Nets 2005
Uses Software
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)
