Abstract
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.
Get full access to this article
View all access options for this article.