Il seguente programma genera la parte bassa della rete contenente il collegamento delle LIN alla struttura SI. Si nota che tramite il comando constraints si possono legare i valori dei di una determinata LIN ad essere uguali:
appendice1/build_k_lin.awk
Per unire la descrizione della parte bassa della rete K-LIN, con una rete SI si utizza il seguente programma awk:
appendice1/unisciReti.awk
Esso è avviato dalla riga di comando:
gawk -v reteSI=<Desc_rete_SI> -v reteKLin=<Desc_bassa_rete_K-LIN> -f unisciReti.awk\\ > <desc_rete_K-LIN>dove Desc_rete_SI rappresenta la descrizione della rete SI utilizzata normalemente per il riconoscimento, Desc_bassa_rete_K-LIN è la descrizione della parte bassa della rete K-LIN, generata dal primo programma presentato in questa sezione, e desc_rete_K-LIN è il nome in cui viene salvata la descrizione della rete K-LIN completa.
Stefano Scanzio 2007-10-16