Formal Methods Labs: Lab 1: Http request using petri nets Lab 2: Shibuya crossing model with petri nets Lab 3: Shibuya crossing model with time based colored petri nets Lab 4: Refactor traffic lights with if and case statements Lab 5: Hierarchy stuff Lab 6: First real life example