Ideen für meine Diss
Varianten zu Morphismen:
- f pp t = pp f t ∩ im f, d.h. eine pp bildet sich nur auf den Teil ab, der im Image liegt, das sollte helfen, um Transition zu mergen, ohne alle Stellen mit zu mergen
- f: X → X ** Nat also auf Multiset, das wäre z.B. für TokenFlows praktisch, habe ich aber wohl in der Diss diskutiert was der Nachteil ist
Kategorie DEC: statt outputplaces numerieren: Aequivalenzklassen von Morphismen bilden!