Branching cells as local states for event structures and nets: probabilistic applications
Résumé
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets. This new object is called a branching cell, defined within the class of locally finite