Inv proj (command)

File: inv_proj

Description: This program creates and returns the inverse projection of L(H) with respect to the given set of events.

Input:   H.fsm - Input FSM


 * H.events - List of events for inverse projection

Output:  H_inv_fsm - FSM modeling the inverse projection