Theoretische Informatik - Entwurf korrekter Systeme
Screenshots
The π-Calculus Editor:
The Petri Net Editor:
And some different Counter Trace Views:
1) The Petri Net View:
2) The Process View:
3) The Process Graph View
