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.