From Data Flow Networks to Petri Nets