A graph theoretic modeling framework for generalized transportation systems with congestion phenomena