Simulate

Jump to bottom Edit New page

anpe-mms edited this page Mar 17, 2014 · 1 revision

K-boundedness constraint: maximale Anzahl an Tokens in einem Blatt (damit kann man die Anzahl von Durchläufen für Schleifen im Modell begrenzen) -> nicht relevant, wenn man keine Schleifen hat und im Modell nur ein Token vorhanden ist
Random: sollte alle möglichen Pfade im Netz durchlaufen (wenn man die Simulation häufiger durchführt)