1. Draw state machine models of the control software for: - an automatic washing machine wich has different programs for different types of clothes; - a compact disc player. 2. Try developing a simple model using Petri Nets, such as a traffic light control. 3. Draw state machine models that recognize UK Post Codes. 4. Draw state machine that represents the simple ant algorithm. "Suppose we have a grid divided into patches. Each patch may hold zero or more wood chips. Ants move around the grid following a few basic rules: - Move in a random adjacent patch. - If the destination grid square contains any wood chips and the ant is not carrying anything, then the ant picks up a wood chip. - If the destination grid square contains any wood chips and the ant is carrying a wood chip, then the ant drops the wood chip".