A Petri Nets Semantics for Data Flow Networks