Multi-agents based modeling and simulation for carbon permits trading