(*
 * The LOTOS specifications "turntable_seq.lotos" and "turntable_par.lotos"
 * are compiled into Labelled Transition Systems in the BCG format
 *)

"tt_seq.bcg" = generation of "turntable_seq.lotos";

"tt_par.bcg" = generation of "turntable_par.lotos";