In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 180-203. 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 the 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 these categories, each of them leading to analysis of nets. After having defined the semantics, the authors deduce some catagorical properties and then the nets properties that may be obtained. Finally, these approaches are compared.
Keywords: algebraic net scheme; semantics; categorial approach; coloured net; abstract data type.