Technische Universität Berlin, Fachbereich 20 (Informatik), Bericht 1989/12, 1989.
Abstract: An algebraic Net schema consists of a Petri net and an algebraic data type specification SPEC which is used to describe data objects on places and functionalities of transitions. The semantics of an algebraic net schema is defined in terms of a functor from the category of SPEC-algebras to the category of high-level nets. The net schemata constitute a category, the morphisms of which are compatible with the schema semantics.
Back to the Petri Nets Bibliography