Free Choice Petri Nets: Introduction