Clusters, Confusion and Unfoldings

Issue title: Concurrency Specification and Programming (CS&P'2000)

Article type: Research Article

Authors: Haar, Stefan

Affiliations: IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France

Abstract: We study independence of events in the unfoldings of Petri nets, in particular indirect influences between concurrent events: Confusion in the sense of Smith [11] and weak interference. The role of structural (conflict) clusters is investigated, and a new unfolding semantics based on clusters motivated and introduced.

Keywords: Concurrency, occurrence nets, unfoldings, confusion, conflict clusters

Journal: Fundamenta Informaticae, vol. 47, no. 3-4, pp. 259-270, 2001