Summary: The paper gives an overview over fundamentals and recent trends in the theory of high-level nets, most prominent among them predicate-transition nets and coloured nets. As typical examples of useful mathematical methods for system analysis, we discuss high-level net-invariants and reachability-trees.