Klicken Sie auf 'Labelled Transition Systems Analyzer', um die Ressource zu öffnen.