Introduction to probabilistic concurrent systems
Formal Languages and Automata Theory
2023-06-22 v6
Abstract
The first part of the paper is an introduction to the theory of probabilistic concurrent systems under a partial order semantics. Key definitions and results are given and illustrated on examples. The second part includes contributions. We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative'" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterize these systems by means of their combinatorial properties.
Cite
@article{arxiv.2111.00507,
title = {Introduction to probabilistic concurrent systems},
author = {Samy Abbes},
journal= {arXiv preprint arXiv:2111.00507},
year = {2023}
}
Comments
Extended version of the Petri Net 2021 conference paper arXiv:2008.07233 "Deterministic concurrent systems" by the same author. 32 pages, 9 figures, 17 references