Structures d'Evenements et Reseaux a Flux (Flow Models of DistributedComputations: Event Structures and Nets)

摘要

Flow event structures, which provide an intermediate between prime and stableevent structures, are introduced. These three kinds of event structures are abstractly equivalent in that they give concrete presentations for the same kind of domains, namely dI-domains. However, regarded as means of defining families of configurations, these event structures are increasingly more powerful. From this point of view, flow event structures are related to a new kind of Petri nets, called flow nets; for each flow event structure, it is shown that a flow net having the same configurations can be built, a configuration of a net being a set of events firable in sequence, and conversely. This generalizes earlier results that relate prime event structures and occurrence nets. Safe flow nets are shown which correspond to bundle event structures introduced recently. This establishes a strict hierarchy upon the various kinds of event structures: prime, bundle, flow, and stable ones.