In: Fundam. Inform. (The Netherlands) Vol. 11, No. 4, pages 331-356. 1988.
Abstract: The notion of synchronization of qualified pomsets (pomsets equipped with an alphabet) is introduced and some properties of this operation are given. It is claimed that the synchronization operation is a sufficient tool for composing complex concurrent systems from a set of simple atomic ones. As an example the behaviour of pure place/transition Petri nets is defined by means of qualified pomset synchronization.