Domain and event structure semantics for Petri nets with read and inhibitor arcsFunctorial concurrent semantics for Petri nets with read and inhibitor arcs
