Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs