Results
- For initial marking M0 = [1 0 1 0]T:
- only transitions t2 and t3 are enabled
- firing t2 will lead to the state M1 = [0 1 1 0]T, whereas firing t3 will lead to the state M2 = [1 0 0 1]T
- For M1 = [0 1 1 0]T:
- only t1 is enabled, taking the net back to M0
- For M2 = [1 0 0 1]T:
- only t4 is enabled, taking the net back to the initial state
Therefore, the complete set of states for this net is M = {M0, M1, M2}