Formal networks

Formal networks collection