For the most recent entries see the Petri Nets Newsletter.

Algebraic system nets for modelling distributed algorithms.

Kindler, Ekkart; Reisig, Wolfgang

In: Petri Net Newsletter No. 51, pages 16-31. December 1996.

Abstract: The paper informally introduces algebraic system nets by two examples which motivate to necessity of flexible arc-weights and of progress and fariness. Then a self-contained formalization of algebraic system nets and their runs ist given, including all prerequisites from algebraic specifications and net theory.


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

Back to the Petri Nets Bibliography