4 citations · 6 across the 6 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
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…
cs.FL2015
Uniform generation in trace monoids
Samy Abbes, Jean Mairesse
We consider the problem of random uniform generation of traces (the elements of a free partially commutative monoid) in light of the uniform measure on the boundary at infinity of…