Markov nets: Probabilistic models for distributed and concurrent systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 5, Issue , 2001, Pages 5010-5015

  Benveniste, Albert ^a   Fabre, Eric ^a   Haar, Stefan ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Discrete event systems; Stochastic Petri nets; Unfoldings

Indexed keywords

LARGE SCALE SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; MONITORING; PETRI NETS; PROBABILITY; SYNCHRONIZATION; TELECOMMUNICATION NETWORKS; THEOREM PROVING;

CONCURRENT SYSTEMS; MARKOV NETS; PETRI NET UNFOLDINGS; PROBABILISTIC MODELS; STOCHASTIC PETRI NETS;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 0035711270     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
2. Free-choice Petri nets - An algebraic approach
3. Petri nets for modeling of dynamical systems - A survey
4. Branching processes of Petri nets
5. An improvement of McMillan's unfolding algorithm
6. An unfolding algorithm for synchronous products of transition systems
7. Distributed state reconstruction for discrete event systems
8. Branching processes of general S/T-systems
9. Occurrence net logics
10. Randomized non-sequential processes