Diamond Properties of Elementary Net Systems
Hendrik Jan Hoogeboom, Grzegorz Rozenberg · Fundamenta Informaticae · 1991
An elementary net system is the basic system model of net theory. The state space of an elementary net system is formalized through the notion of the case graph, which is an edge-labeled graph with a distinguished initial node. The paper investigates syntactic, i.e., graph theoretic properties of case graphs of elementary net systems. In particular it studies the structure of isomorphisms between case graphs.