Report LRI--539. Univ. de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique, January 1990.
Abstract: The purpose of this paper is to have a categorial approach of coloured nets and nets with abstract data types called schemes. The authors consider, for that last sort of nets, several categories of algebraic net schemes over a specification SPEC and their interpretations in SPEC-algebras. Different semantics are defined for those categories, each of them leading to analysis of nets. After having defined the semantics, the authors deduce some categorial properties. Finally, these approaches are compared.
Keywords: algebraic net scheme; categorial approach; coloured net; abstract data type.
Back to the Petri Nets Bibliography