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.
Back to the Petri Nets Bibliography