SPNBOX - A Toolbox for the Supervisory Control of Petri Nets

SPNBOX is a supervisory control toolbox for programs that can execute Matlab scripts (Matlab, Octave, FreeMat, SciLab, and others). There is also a C version of the toolbox that is included in the ACTS software,

The toolbox includes functions for the design of supervisors subject to liveness constraints and linear inequality constraints. A description of the functions included in the toolbox can be found in the manual. The theory of the implemented methods may be found in

Iordache M. V. and P. J. Antsaklis (2006), Supervisory Control of Concurrent Systems: A Petri Net Structural Approach, Birkhauser Boston.

The current version of the toolbox is 1.2 (July 2013). While the most recent version of the toolbox has been tested only in Octave, the toolbox is expected to work also with the other programs that can execute Matlab scripts, such as Matlab, FreeMat, and SciLab. Note that Octave, FreeMat, and SciLab are free software.

Requirements:

Installing the toolbox:

Installing the LPSOLVE driver: LPSOLVE is third-party software for mixed integer linear programming. The following appears to be a quick installation procedure. (This procedure was tested for Octave under Cygwin. Detailed information about the installation of the LPSOLVE driver may be found in the LPSOLVE documentation.)

Installing the library files of LPSOLVE: LPSOLVE is third-party software for mixed integer linear programming. The following appears to be a quick installation procedure. (This procedure was tested in Cygwin. Detailed information about the installation of the LPSOLVE library files may be found in the LPSOLVE documentation.)

Old Versions of SPNBOX

The first version of the toolbox can be used in Matlab only. It was developed with Matlab 5.3 and 6.0 under SunOS and LPSOLVE 3.2. To install the first version of the toolbox, follow this procedure:


Last modified: Mon Dec 16 13:59:42 CST 2013