C par comp (command)

File: c_par_comp

Description: Constrained Synchronous Composition. This is a modification of synchronous composition that removes a prespecified set of forbidden states from the composite FSM.

Input: Number of Machines

forbid.states - Set of forbidden states

component1.fsm - Input FSM 1

.... - more input FSMs

Output: c_sync.fsm - Cosntrained Synchronous FSM