Markov nets: probabilistic models for distributed and concurrent systems

DOI10.1109/TAC.2003.819076zbMATH Open1364.93451MaRDI QIDQ5266681FDOQ5266681

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)

• Bayesian strategies: probabilistic programs as generalised graphical models
• Projective topology on bifinite domains and applications
• True-concurrency probabilistic models: Markov nets and a law of large numbers
• 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
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets
• 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
• Control of safe ordinary Petri nets using unfolding

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)