Toward Uniform Random Generation in 1-safe Petri Nets

Samy Abbes (1)

1 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale

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 concurrent transitions, which introduces a challenge compared to usual transition systems. We obtain that the random generation of infinite executions reduces to the simulation of a finite state Markov chain. Algorithmic issues are discussed.

Domaines: Combinatoire [math.CO]; Probabilités [math.PR]

Samy Abbes. Toward Uniform Random Generation in 1-safe Petri Nets. GASCOM 2016, 2016, Bastia, France. ⟨10.1016/j.endm.2017.05.002⟩. ⟨hal-01292954⟩