Biggiero Lucio – How PNEI Networks can be formalized, modelled and analyzed?