Free choice Petri nets