Functions

Analyse

Provides a method to analyse a Finite State Process model.

Input:        An FSP model (type: String)

Output: A Trace (type: String)

Safety

Provides a method to safety check a Finite State Process model.

Input:        An FSP model (type: String)

Output: A Trace (type: String)

Progress

Provides a method to progress check a Finite State Process model.

Input:        An FSP model (type: String)

Output: A Trace (type: String)

Compile

Provides a method to compile an FSP source model to a Finite State Machine.

Input:        An FSP model (type: String)

Output: Result of compilation (type: String)