(Probably) usefull info:
- State space show us all the possible states
- Subset of state space is called "strong connected". This allows us to minimize state space by removing loops and stuff
Things to do:
- take already built model and check if its valid (generate state space and report, check for no dead transitions and markings)
- and then break it with some stupid "mistake" (lecturer won't accept obvious one, lol)
Solution: