Free Choice Petri Nets