Anwendung und Variation von TACS

TACS

Fallstudien sind entscheidend, um die praktische Relevanz theoretischer Ansätze zu belegen. Es soll ein Effizienzvergleich von drei Puffer-Implementierungen mittels TACS durchgeführt werden; Vorarbeiten, die sich auf Petrinetze bzw. PAFAS stützen, liegen vor.
Ein anderer Prüfstein für einen theoretischen Ansatz ist seine Robustheit: ein vernüftiger Ansatz sollte bei kleinen Variationen in der Modellierung nicht zu anderen Ergebnissen kommen. Es gibt eine plausible Variation der SOS-Regeln für Zeitschritte in TACS. Es soll untersucht werden, ob diese Variation eine Auswirkung darauf hat, welche Prozesse schneller sind als andere.