This paper provides the central basic of the modeling technique: the concept of system nets and there verifications. A formal framework for system nets has to establish the relationship between syntactical inscriptions ...