[https://git.informatik.uni-hamburg.de/tgipublic/ccpn/ccpn/-/wikis/pn19 Tools for Curry-Coloured Petri Nets]