Discrete Time Stochastic Petri Nets

DOI10.1109/TSE.1985.232230zbMath0558.68053MaRDI QIDQ3347312

Mike Molloy

Publication date: 1985

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (14)

Performance analysis of concurrent systems in algebra dtsiPBC ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Unnamed Item ⋮ Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths ⋮ Equivalences for fluid stochastic Petri nets ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Generic Markov models for availability estimation and failure characterization in petroleum refineries ⋮ Equivalence relations for modular performance evaluation in dtsPBC ⋮ Unnamed Item ⋮ Bayesian network semantics for Petri nets ⋮ Performance evaluation in stochastic process algebra dtsdPBC ⋮ Probabilistic Time Petri Nets ⋮ Tutorial and Survey Articles: An introduction to Petri Nets ⋮ Logical characterization of fluid equivalences

This page was built for publication: Discrete Time Stochastic Petri Nets