Technical Paper, ESPRIT Project 125, GRASPIN, 1985.
Abstract: Modularity and implementation concepts for total algebras were transferred to Predicate-Event systems, a high-level net interpretation. The implementation concepts have a natural interpretation also in the context of partial algebras which are used in the semantics of PrE-systems. It was shown that the standard theorems known for total algebras also hold in the category of PrE-systems.