Computing the average parallelism in trace monoids.

DOI10.1016/S0012-365X(03)00233-4zbMath1076.68041MaRDI QIDQ1417573

Jean Mairesse, Daniel Krob, Ioannis C. Michos

Publication date: 5 January 2004

Published in: Discrete Mathematics (Search for Journal in Brave)

zbMATH Keywords

performance evaluationgenerating seriestrace monoidsautomata and formal languagesCartier-Foata normal form

Mathematics Subject Classification ID

Combinatorics on words (68R15) Formal languages and automata (68Q45)

Related Items (14)

Algebraic Combinatorics on Trace Monoids: Extending Number Theory to Walks on Graphs ⋮ Introduction to Probabilistic Concurrent Systems ⋮ Markovian dynamics of concurrent systems ⋮ Toward uniform random generation in 1-safe Petri nets ⋮ A cut-invariant law of large numbers for random heaps ⋮ APPROXIMATING THE MEAN SPEEDUP IN TRACE MONOIDS ⋮ Uniform and Bernoulli measures on the boundary of trace monoids ⋮ Möbius inversion formula for the trace group ⋮ Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids ⋮ Synchronization of Bernoulli sequences on shared letters ⋮ Finite transducers for divisibility monoids ⋮ A spectral property for concurrent systems and some probabilistic applications ⋮ The conjugacy problem in subgroups of right-angled Artin groups ⋮ Deterministic concurrent systems

Uses Software

• ERS

Cites Work

• Clique polynomials have a unique root of smallest modulus
• Non-negative matrices and Markov chains. 2nd ed
• Concurrency measure in commutation monoids
• Combinatorial problems of commutation and rearrangements
• Approximating the spectral radius of sets of matrices in the max-algebra is NP-hard
• On the Estimation of the Throughput for a Class of Stochastic Resources Sharing Systems
• On the theory of the matching polynomial
• Matchings and walks in graphs
• Markov Chains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computing the average parallelism in trace monoids.