###############################################################################
#                                                                             #
#                                Teloco Tool                                  #
#                                                                             #
###############################################################################
#                                                                             #
#   Generation of a test sequence from a Grafcet specification  (May 2010)    #
#                                                                             #
#                                http://www.lurpa.ens-cachan.fr/isa/teloco/   #
#                            contact: jean-marc.roussel@lurpa.ens-cachan.fr   #
#                                                                             #
###############################################################################

Teloco is an academic tool developped to obtain an exhaustive test sequence of 
a GRAFCET model.                                                         
The current version is an executable for Windows.

A Case study made with Teloco is composed of 4 steps:

  * Reading of the textual description of the GRAFCET Specification.
  * Construction of the automaton, termed stable location automaton (SLA). 
    This automaton represents formally all the stable states of the logic 
    system described by the grafcet as well as all the evolutions between 
    these states.
  * Translation of this automaton into an equivalent Mealy machine
  * Generation of the exhaustive Test sequence of this Mealy machine 
    according the transition tour method.
#                                                                             
###############################################################################
#                                                                             

Teloco Installation
The Zip archive is accessible at:
 http://www.lurpa.ens-cachan.fr/isa/teloco/

This Zip archive is composed of two directories:

  * Directory TelocoTool: this directory could be installed as you want 
      (C:\Program Files\Teloco for example)
  * Directory TelocoExamples: this directory contains different examples of 
    GRAFCET description. This directory could be installed as you want.

In order to use Teloco from your directory TelocoExamples, it is necessary to 
add a shorcut of YourPath\TelocoTool\Teloco.exe in this directory.
  * Open directory: YourPath\TelocoTool
  * Click right on Teloco.exe
  * Create a shorcut of Teloco.exe
  * Copy this shorcut in directory TelocoExamples
  * If necessary, suppress parameter for property "Start in"   

To use Teloco for studying the GRAFCET Specification given in file 
aSimpleGrafcet.txt:
  * Click on teloco shortcut and reply aSimpleGrafcet to the question.
  * Tape teloco aSimpleGrafcet.txt in a DOS shell.

#                                                                             
###############################################################################
#                                                                             
