Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games.