Samy Abbes - Introduction to probabilistic concurrent systems

fi:8645 - Fundamenta Informaticae, October 21, 2022, Volume 187, Issues 2-4: Petri Nets 2021
Introduction to probabilistic concurrent systemsArticle

Authors: Samy Abbes

    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.

    Comment: 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


    Volume: Volume 187, Issues 2-4: Petri Nets 2021
    Published on: October 21, 2022
    Accepted on: July 4, 2022
    Submitted on: November 2, 2021
    Keywords: Computer Science - Formal Languages and Automata Theory, G.2.1, F.1.1

    Consultation statistics

    This page has been seen 275 times.
    This article's PDF has been downloaded 140 times.