For the most recent entries see the Petri Nets Newsletter.

Algebraic Representation of Data in the Petri Box Calculus.

Klaudel, H.; Pelz, E.

In: Rapport de Recherche no. 793, Unité Associée au CNRS URA 410, Paris. 1992.

Abstract: In this paper we extend Petri Box Calculus by an agreeable and concise treatment of data in terms of algebraic nets. This Algebraic Box Calculus proposes: Algebraic data boxes of fixed, small size; a generalisation of synchronisation, based on unification of algebraic terms, which preserves the finitude of the Boxes; and for all kind of data structures a homogenous (algebraic) treatment of operations.


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

Back to the Petri Nets Bibliography