Clusters, Confusion and Unfoldings

Authors:
Stefan Haar
Affiliations:
IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Year:
2001

Citing 11
Cited 1

Branching processes of Petri nets

Acta Informatica
Executions: a new partial-order semantics of Petri nets

Theoretical Computer Science
Free choice Petri nets

Free choice Petri nets
On the border of causality: contact and confusion

Theoretical Computer Science - Special volume on Petri nets
Concatenable weighted pomsets and their applications to modelling processes of Petri nets

Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
A representation of processes of Petri nets by matrices

Fundamenta Informaticae
An Improvement of McMillan's Unfolding Algorithm

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Algebras of Processes of Timed Petri Nets

CONCUR '94 Proceedings of the Concurrency Theory
Elementary Net Systems

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Occurrence Net Logics

Fundamenta Informaticae
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets

Fundamenta Informaticae

Probabilistic Cluster Unfoldings

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

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.