For the most recent entries see the Petri Nets Newsletter.

Computation of P-Invariants for Integer Nets: Application to the Analysis of Algebraic Nets.

Johnen, Colette; Petrucci, Laure

LRI Rapport de Recherche No. 645, pages 1-12 pp.. Laboratoire de Recherche en Informatique, Universite de Paris-Sud, Centre d'Orsay, France, February 1991.

Also as: Rapport de Recherche CEDRIC 91--07. Centre d'Etudes et de Recherche en Informatique du Conservatoire National des Arts et Métiers, Paris, France, January 1991.

Abstract: The authors consider algebraic nets over the classical specification of natural numbers, which is called integer nets. The purpose of this is twofold: on one hand they fill some lacks of place/transition nets without being too complex, and on the other hand, an algebraic net can be studied via a particular integers net, named normed net. The authors present an automatic technique for the analysis of these nets: the calculus of two sorts of P-invariants. They exemplify this technique with the classical problem of the general channel.

Keywords: computation (of) P-invariant(s) (for) integers net(s); algebraic net; integer net; place/transition net; normed net; two-sorted P-invariant(s); general channe problem.


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

Back to the Petri Nets Bibliography