The software available from this page has been release under the GNU General Public license (GPL), version 2. For specific details of the terms of the GPL, please read the license here. For more information on the GPL, please see the Free Software Foundation.

• The current version of DESpot is 1.11.0. The main download link is here. The zip files are recommended for Windows, and the tar files for Linux\Unix and Mac OS X. If you simply want to use DESpot on Windows, just download DESpotWinInstaller as described below.
  
  

• DESpot is a discrete-event system (DES) software research tool. It supports both flat projects (collection of plant and supervisor DES), and Hierarchical Interface-Based Supervisory Control (HISC) projects.

  DESpot is written in C++ and uses the QT GUI libraries. At the moment, DESpot is available as source code and as a Windows' installer. The Windows' binary should install and run under Windows 10. If it doesn't work for you, then you will need to compile from source code.

  For instructions on how to compile DESpot on Linux, Mac OS X, and windows, see the build guide here. As per the build guide, you will also need to download a copy of the BuDDy 2.4 BDD libraries. DESpot is only currently supported for use with RedHat Enterprise Linux 7.x, with the 5.9.7 version of the QT libraries. However, it should compile and run fine with other versions of Linux and QT 5. Also, DESpot is known to compile and run with Windows. It used to compile and run with Mac OS X, but not currently. Now DESpot has been ported to QT 5, it may compile again, but that has not been tested.

  
  

  For known issues with compiling and running DESpot, see here.

  The current version of DESpot is 1.11.0. You can download the source code for DESpot and the BuDDy 2.4. libraries (configured to work with DESpot), as well as the windows installer here. The zip files are recommended for Windows, and the tar files for Linux\Unix and Mac OS X.

  For more information about BuDDy (including the license it is released under), see here.

  For the Windows' installer (DESpotWinInstaller.1.11.0.zip), download the zip file and extract the contents. Then, just run the included "setup" executable.

  
  

• A few sample projects are provided for use with DESpot. Each contains a README detailing where the project comes from. You can download the file "exampleProjects" here. The latest version is exampleProjects.1.0.14. The zip files are recommended for Windows, and the tar files for Linux and Mac OS X.

  At least one project in the file (i.e. the AIP example) was imported from another software package, and thus does not have graphical display information. If you open a DES from this project, it will be displayed in a default fashion.

  A new project has been added to provide a Sampled-data Supervisory Control example. See the "sdContExample" subdirectory.

  A new project has been added to provide a multi-level HISC with low data events example. See the "SimplManufMultiLD" subdirectory.

  Some new projects have been added to provide some timed and untimed Fault-Tolerant Supervisory Control examples. See the "examplesFaultTol" subdirectory.

  A new project has been added to provide a decentralized supervisory control example, for a co-observability test. See the "coobsvExample" subdirectory.

The above program (DESpot) is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License, version 2, as published by the Free Software Foundation.

The program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with the program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA