For the most recent entries see the Petri Nets Newsletter.

Semantische Konstruktionen und Katogorien algebraischer Netzschemata.

Dimitrovici, C.; Hummert, U.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography