Modelling Language

Language description

Merge with Action Language

Examples

Petri Net metamodel

Petri Net instance