Free Choice Petri Nets (1995)

by J. Desel, J. Esparza