For the most recent entries see the Petri Nets Newsletter.

The Properties of Algebraic Nets Schemes in some Semantics.

Dimitrovici, Cristian; Hummert, Udo; Petrucci, Laure

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.

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

Back to the Petri Nets Bibliography