Based on: http://web.archive.org/web/20180123233253/https://www.win.tue.nl/~svzelst/misc/ and https://gist.github.com/andreibosco/7cc4547771be28ad3e3db3f9a03ff9f8
- Download CPN Tools (for windows) from: http://cpntools.org/download
- Install wine (instructions on the official website: https://wiki.winehq.org/Ubuntu )
- Install CPN Tools using wine, i.e.,
wine cpntools_4.0.1.exe
, make sure to include the linux simulator.
- If this does not work due to a missing java version download OpenJDK JRE https://adoptium.net/releases.html?variant=openjdk11
- Remember that you have to download the Windows version and install it using wine
- To install the .msi version, use
wine start $installer
, replacing$installer
with the actual filename
- Download this bash file and place it in:
~/.wine/drive_c/Program Files (x86)/CPN Tools
- Run the bash script: from the above mentioned directory: (
chmod +x run_cpntools.sh
)./run_cpntools.sh
)
- The CPN Tools simulator will not be able to start yet; Go to: Options > Simulator Process. There, enable the "Remote" option (click on the small checkbox) and fill out the following details:
Host : localhost Port : 2098 Runtime : ./cpnsim Image path : cpn.ML.x86-linux
- Restart CPN Tools using the bash file
- If the simulator is still not working, and, in the file
~/.wine/drive_c/Program Files (x86)/CPN Tools/sim_out.log
it is mentioned that java is not recognized as a program, then, runwine regedit
. Within the regeditHKEY_CURRENT_USER/Environment
, add a String value, namedPATH
with valueC:\Program Files (x86)\Eclipse Adoptium\jre-11.0.14.101-hotspot\bin\
(adjust this if you used a different JRE) - If the simulator log in
~/.wine/drive_c/Program Files (x86)/CPN Tools/sim_out.log
mentions the following error
[<Child Process ID>]: Changing current path to ./cpnism
[<Child Process ID>]: Failed to change current dir
you can change the Runtime
option to the absolute path (i.e. /home/<yourName>/.wine/drive_c/Program Files (x86)/CPN Tools/cpnsim
, pointing to the home directory through ~
operator does not work for some reason)