Domain and event structure semantics for Petri nets with read and inhibitor arcs
scientific article; zbMATH DE number 2105257
scientific article