The Semantics of a Net is a Net

A core issue of General Net Theory is to relate different net classes by meaning preserving mappings. To do so in a simple and elegant way, some mathematical techniques will be developed in this paper. This includes special net morphisms and equivalence relations on nets. These concepts are applied to study the relationship of (strict) high level nets to condition/event systems. Different classes of high level nets are discriminated.