A Formal Model for SME Networks Performance Understanding