Markov nets: probabilistic models for distributed and concurrent systems

DOI10.1109/TAC.2003.819076MaRDI QIDQ5266681zbMATHFDO

Authors Eric Fabre, Stefan Haar, Albert Benveniste

Publication date 20 June 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Distributed systems (68M14)

Cited in

(10)

• True-concurrency probabilistic models: Markov nets and a law of large numbers
• Critical paths in the partial order unfolding of a stochastic Petri net
• Planning without state space explosion: Petri net to Markov decision process
• Control of safe ordinary Petri nets using unfolding
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets
• Projective topology on bifinite domains and applications
• Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Probabilistic event structures and domains
• Bayesian strategies: probabilistic programs as generalised graphical models

This page was built for publication: Markov nets: probabilistic models for distributed and concurrent systems

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