The dining savages: A tribe of savages eats communal dinners from a large pot capable of holding M servings of stewed missionaries. When a savage wants to eat, he helps himself from the pot, unless it is empty, in which case he waits until the cook refills the pot. If the pot is empty, the cook refill the pot with M servings The behavior of the savages and the cook is described by: SAVAGEget _servingSAVAGE) . COOKfill _pot -> COOK). Model the behavior of the pot and of the system as FSP processes. (see Lecture Notes 3) net (see Lecture Notes 9, pages 21, 22) Lecture Notes 9, pages 23-34). (a) (b) Model the behaviour of the pot as and of the system as an Elementary Petri net (c)Model the behaviour of the pot as and of the system as an Place/Transition Petri (d) Model the behaviour of the pot as and of the system as an Coloured Petri net (see (e)Discuss the differences between the FSP and the various Petri Net solutions. (f)Implement the system as a Java program. The dining savages: A tribe of savages eats communal dinners from a large pot capable of holding M servings of stewed missionaries. When a savage wants to eat, he helps himself from the pot, unless it is empty, in which case he waits until the cook refills the pot. If the pot is empty, the cook refill the pot with M servings The behavior of the savages and the cook is described by: SAVAGEget _servingSAVAGE) . COOKfill _pot -> COOK). Model the behavior of the pot and of the system as FSP processes. (see Lecture Notes 3) net (see Lecture Notes 9, pages 21, 22) Lecture Notes 9, pages 23-34). (a) (b) Model the behaviour of the pot as and of the system as an Elementary Petri net (c)Model the behaviour of the pot as and of the system as an Place/Transition Petri (d) Model the behaviour of the pot as and of the system as an Coloured Petri net (see (e)Discuss the differences between the FSP and the various Petri Net solutions. (f)Implement the system as a Java program