Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)