GitHub repository: KrisMP99/tapaal-gui
Description: This is a mirror of the official tapaal-gui repo hosted at https://launchpad.net/tapaal. We currently does only accept pull request via github for the CPN Branch