Simulate - adgo/qmate GitHub Wiki

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)