4 citations · 6 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.CO2017
Uniform generation of infinite concurrent runs: the case of trace monoids
Samy Abbes, Vincent Jugé
We introduce an algorithm for the uniform generation of infinite runs in concurrent systems under a partial order probabilistic semantics. We work with trace monoids as concurrency…
cs.FL2017★ 4 cited
Toward uniform random generation in 1-safe Petri nets
Samy Abbes
We study the notion of uniform measure on the space of infinite executions of a 1-safe Petri net. Here, executions of 1-safe Petri nets are understood up to commutation of concurre…