Asynchronous Composition(asynch_comp1.data,asynch_comp2.data,asynch_comp:shuf.tex@i);
Augmentation(aug.data,aug_events.data,aug:augment.tex@s);
Complement(comp.data,comp:complement.tex@e);
Concatenation(conc1.data,conc2.data,conc:concatenate.tex@h);
Controllability Check(control_plant.data,control_spec.data,control_plant.data_events,control:control.tex@y);
Diagnosability Check(diagnosability_plant.data,diagnosability_spec.data,diagnosability_plant.data_events,diagnosability:diagnos.tex@X);
Graph Completion(completion.data,completion_events.data,completion:completion.tex@r);
Mask the FSM(mask.data,mask:mask.tex@n);
Minimization(min.data,min:minimize.tex@b);
Multiple File Sync Comp(mfile_sync.data,mfile_sync:mfile_sync.tex@M);
Non-DFSM to DFSM(ndfsm_to_dfsm.data,ndfsm_to_dfsm:convert.tex@d);
Non-Strict Synch Comp(e1.data,e2.data,complete_sc:complete_sc.tex@O);
Normality Check(normality_plant.data,normality_spec.data,normality_plant.data_events,normality:normal.tex@W);
Observability Check(observability_plant.data,observability_spec.data,observability_plant.data_events,observability:observ.tex@V);
Quotient(quo1.data,quo2.data,quo:quotient.tex@j);
Reachability(reach.data,reach:reach.tex@a);
Remove Epsilon Trans(epsilon.data,epsilon:delete.tex@c);
Rename States(rename.data,rename:rename.tex@l);
Strict Synch Composition(strict_synch_comp1.data,strict_synch_comp2.data,strict_synch_comp:sc.tex@f);
Supremal Cont. Normal Sublang(supconnorm_plant.data,supconnorm_spec.data,supconnorm_plant.data_events,supconnorm:supconnorm.tex@t);
Supremal Cont. Sublang(supcon_plant.data,supcon_spec.data,supcon_plant.data_events,supcon:supcon.tex@k);
Trimming Operation(trim.data,trim:trim.tex@m);
Union(union1.data,union2.data,union:union.tex@g);
UnMask the FSM(unmask.data,unmask:unmask.tex@o);

