Reversible occurrence nets and causal reversible prime event structures
scientific article; zbMATH DE number 7368046