In: Guessarian, I.: Lecture Notes in Computer Science, Vol. 469; Semantics of Systems of Concurrent Processes. Proceedings of the LITP Spring School on Theoretical Computer Science, 1990, La Roche Posay, France, pages 62-95. Berlin, Germany: Springer-Verlag, 1990.
Abstract: The author investigates the relationships between two models for concurrent computations, namely Petri nets and Winkel's event structures. A new particular class of Petri nets is introduced called flow nets. These have a semantical definition (ie by means of firing sequences); it is shown that any flow net is equivalent to a regular flow net. The main result establishes a connection between flow event structures and flow nets: (1) for any flow event structure one can build a flow net such that the sets of events firable in sequence in the net are exactly the configurations of the flow event structure; (2) conversely for any flow net one can build a flow event structure whose configurations are exactly the sets of events firable in sequence in the net.
Keywords: flow event structure; flow net, regular; firing sequence.
Back to the Petri Nets Bibliography