For the most recent entries see the Petri Nets Newsletter.

Linear Invariants in Commutative High Level Nets.

Couvreur, Jean Michel; Martínez, Javier

In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 96-114. 1989.

Also: Universidad de Zaragoza, departamento de ingenieria electrica e informatica, Research Report 89-04, January 1989.

Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, pages 146-164. Berlin, Germany: Springer-Verlag, 1991.

Abstract: Commutative nets are a subclass of colored nets whose color functions belong to a ring of commutative diagonalizable endomorphisms. Although their ability to describe models is smaller than that of colored nets, they can handle a broad range of concurrent systems. Commutative nets include net subclasses such as regular homogeneous nets and ordered nets. Mathematical properties of the color functions of commutative nets allow a symbolic computation of a family of generators of flows. The method proposed decreases the number of non-null elements in a given color function matrix, without adding new columns. By iteration, the entire matrix is annulled.

Keywords: linear invariant (in) commutative high-level net; coloured net; diagonalizable endomorphisms; regular homogeneous net; ordered net; symbolic computation (of) flow generators.

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

Back to the Petri Nets Bibliography