SSPC v0.03 is an experimental tool for symbolic synthesis of closed-loop behavior of discrete-event systems that can be realized by automata-based controllers. SSPC v0.03 currently runs only in Linux.

SSPC v0.03 implements synthesis algorithms for two control technologies:

Supervisors, which are devices controlling a process by disabling controllable transitions.
Procedural controllers which are devices that can preempt the occurrence of uncontrollable transitions by the execution of one (controllable) control command. The applicability of these controllers in the process industries and their impact in the design of automation systems for batch processes has been studied previously from both, technical and financial points of view.