Clusters, Confusion and Unfoldings

• Autorzy: Haar S.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

concurrency; occurrence (Petri) nets; unfoldings; confusion; conflict clusters

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 47, nr 3,4
• Strony: 259--270
• Opis fizyczny: bibliogr. 16 poz.

Twórcy

autor

Haar S.

• IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France,