ByNobleID
    True-concurrency probabilistic models branching cells and distributed probabilities for event structures | NobleID