Petri nets (and variant colored petri nets) are just ways of modeling states. We used them in my CS program to model application states for program verification.