*For the most recent entries see the
Petri Nets Newsletter.*

## Flow Event Structures and Flow Nets.

Boudol, Gérard
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.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*