The spectral property states a strict inequality between radii of convergence of certain growth series associated with the system.

Mar 8, 2020 · The spectral property states a strict inequality between radii of convergence of certain growth series associated with the system.

We study trace theoretic concurrent systems. This setting encompasses safe. (1-bounded) Petri nets. We introduce a notion of irreducible concurrent system.

Definition. A concurrent system S is a triple (M,X,⊥) where. X: state space,. ⊥: a sink state, not in X,. M: trace monoid on the alphabet Σ acting on X ...

We introduce a notion of irreducible concurrent system and we prove the equivalence between irreducibility and a “spectral property”. This proof relies on the ...

A spectral property for concurrent systems and some probabilistic applications · S. Abbes, J. Mairesse, Yi-Ting Chen · Published in Discrete Mathematics 8 March ...

The spectral property states a strict inequality between radii of convergence of certain growth series associated with the system. The proof that we present ...

We study trace theoretic concurrent systems. This setting encompasses safe (1-bounded) Petri nets. We introduce a notion of irreducible ...

Finally, we apply the spectral property to the probabilistic theory of concurrent systems. The uniform measure of executions can be realized as a Markov chain ...

A spectral property for concurrent systems and some probabilistic applications. Discrete Mathematics. 2021-08 | Journal article. DOI: 10.1016/j.disc ...