Formal development of reactive Systems: case study production cell using Signal language.

This example is defined in the directory: /home/lbesnard/Polychrony/V4.19/Linux/Examples/productionCell.

Sub-directories

SIGNAL programs

Compiling

	signal -tra -c CONTROLLER.SIG -par=CONTROLLER.PAR 

or with Clusters

 	signal -tra -c CONTROLLER.SIG -par=CONTROLLER.PAR  -clu    

Results of the compilation (in the sub-directory CONTROLLER):

Simulation (Unix)

 All Files

Generated on Mon Jul 25 16:55:00 2011 for Polychrony, by  doxygen 1.6.1. This page has been designed by the Espresso team ( contact )