vanted.petrinetelements.cpn
Classes
Action
Expression
Guard
Marking
TokenObject