The (true) concurrent Markov property and some applications to Markov nets

Lecture Notes in Computer Science

Volumn 3536, Issue , 2005, Pages 70-89

  Abbes, Samy ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBABILISTIC LOGICS; SEMANTICS;

MARKOV CHAINS THEORY; MARKOV NETS; RENEWAL OPERATORS; SEQUENTIAL SYSTEMS;

MARKOV PROCESSES;

EID: 26444459894     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494744_6     Document Type: Conference Paper

References (13)

1. th Conference on Mathematical Theory of Networks and Systems (MTNS 2004), Leuven, Belgium, 2004. ISBN 90-5682-517-8.
2. S. Abbes. Probabilistic model of distributed and concurrent systems. Limit theorems and Applications. PhD thesis, Université de Rennes 1, IRISA. Available from ftp://ftp.irisa.fr/techreports/theses/2004/abbes.pdf.
3. S. Abbes and A. Benveniste. Branching cells as local states for event structures and nets: probabilistic applications. In V. Sassone, editor, Proc. of FOSSA CS 05, volume 3441 of LNCS, pages 95-109, 2005. Extended version available as Research Report INRIA RR-5347, http://www.inria.fr/rrrt/rr-5347. html.
4. A. Benveniste, S. Haar, and E. Fabre. Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. on Aut. Control, 48(11):1936-1950, Nov. 2003.
5. A. Benvensite, E. Fabre, S. Haar, and C. Jard. Distributed monitoring of concurrent and asynchronous systems. In Proc. of CONCUR 03, volume 2761 of LNCS, pages 1-26, 2003.
6. L. Breiman. Probability. SIAM, 1992.
7. J. Engelfriet. Branching processes of Petri nets. Acta Informatica, 28:575-591, 1991.
8. C. Girault and R. Valk. Petri nets for systems engeneering. Springer, 2003.
9. M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures and domains, part 1. T.C.S., 13:86-108, 1980.
10. M. O. Rabin. Probabilistic automata. Inf. and Control, 6(3):230-245, 1963.
11. D. Revuz. Markov chains. Number 11 in N.-H. Math. Library. North-Holland, 1975.
12. D. Varacca, H. Völzer, and G. Winskel. Probabilistic event structures and domains. In Proc. of CONCUR 04, number 3170 in LNCS, pages 481-496, 2004.
13. H. Völzer. Randomized non-sequential processes. In Proc. of CONCUR 01, volume 2154 of LNCS, pages 184-201, 2001.