For the most recent entries see the Petri Nets Newsletter.

Axiomatizing Net Computations and Processes.

Degano, P.; Meseguer, J.; Montanari, U.

In: Proc. of the 4th Annual Symposium on Logic in Computer Sciene, Asilomar, Ca., USA, pages 175-185. 1989.

Abstract: The descriptions of concurrent behaviors in terms of partial orderings lack a suitable, general notion of sequential composition. In this paper, a new algebraic axiomatization is proposed, where, given a net N, a term algebra PN with two operations of parallel and sequential composition is defined. The congruence classes generated by a few simple axioms are proved isomorphic to a slight refinement of classical processes.

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

Back to the Petri Nets Bibliography