Verification of system nets

Abstract

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 (terms), at arcs and places, and their concrete semantical denotation. This relationship of syntax and semantics is mathematically well established, belonging to the basic concepts of computer science.