All • Recent Changes  
 tr gr wa 

Main.

 tr gr wa 

WaltersWiki

PmWiki.

 tr gr wa 

Petri Nets

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!

last modified on 17.01.2016 14:50:00 - Main.Petri: Petri Nets