Prism-based path set restriction for solving Markovian traffic assignment problem · Study