Markov nets: probabilistic models for distributed and concurrent systems
From MaRDI portal
Publication:5266681
DOI10.1109/TAC.2003.819076zbMath1364.93451MaRDI QIDQ5266681
Stefan Haar, Eric Fabre, Albert Benveniste
Publication date: 20 June 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Fault diagnosis in discrete event systems modeled by partially observed Petri nets ⋮ Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system ⋮ Projective topology on bifinite domains and applications ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ True-concurrency probabilistic models: Markov nets and a law of large numbers ⋮ True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures ⋮ Probabilistic event structures and domains ⋮ Planning without state space explosion: Petri net to Markov decision process ⋮ Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net ⋮ Control of safe ordinary Petri nets using unfolding
This page was built for publication: Markov nets: probabilistic models for distributed and concurrent systems
