In: Fundamenta Informatica (The Netherlands), Vol. 11, No. 4, pages 405-432. 1988.
Also: Polish Academie of Sciences, Warsaw, Inst. of Comp. Science, Report No. 623, February 1988.
Abstract: It is shown how the nonsequential behaviour of marked Petri nets of places and transitions can be described with the aid of mathematical systems related to labelled event structures. The method of description is modular in the sense that the global behaviour is obtained by combining local ones corresponding to places and transitions.