SPIN/Xspin 4.1.2, is used in our 2004 course on process modelling, To install it on your Microsoft Windows computer, it should suffice to run the following installers:
Sorry but this installer hasn't been updated to 4.2.3 yet.
For Unix/Linux it's highly advisable to compile/install from source; see how I did it for 4.2.3.
Please read the README for what this is all about, and for known issues, before contacting me.
Thank you.