In: 96 (part 2): Hildesheimer Informatik-Berichte 4. 1996. Institut fuer Informatik, Universitaet Hildesheim, Germany.; www.iis.nsk.su/persons/itar/.
Abstract: Algebra AFLP2 is proposed which is an extension of algebra AFP2 by labelling function. Denotational and operational semantics are presented. Interrelation of the net equivalences from earlier papers of the author with equivalences of the algebra is considered. Analogs of the net equivalences are defined on formulas of AFLP2, and the accordance of these equivalences with their prototypes is established.
Keywords: process algebras; labelling; denotational semantics; operational semantics; Petri nets; A-nets; behavioural equivalences; bisimulation; congruence.