Free Choice Petri Nets

Free Choice Petri Nets