Reproduceable Steps:
- Download CPN Tools https://cpntools.org/category/downloads/ or https://cpnide.org/
- alignedDesign.cpn can be viewed for a better interpretation of the generated model.
- The gradle files can be imported by IntelliJ.
- Demo video regarding running the files can be reached on https://www.youtube.com/watch?v=AA_BYtSYlvg&list=PLMqG2GkQQo1CD-pkKVuEn7D0nC2Cpa7KU&ab_channel=MICSSLab.
- Thank you!