On abstraction of nets

The central idea of General Net Theory is to emphasize morphisms between nets instead of studying single nets. The paper contributes to this theory and proposes a formalism for net transformations which is based on a subclass of surjective net morphisms, called abstractions.