Text this: State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets