Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting.

Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali

Browse the full BPM paper archive.