Informal Exchange Networks in Formal Systems: A Theoretical Model