Operational PNML

Composable Coloured Petri Nets

more...