Promela Modeling Question: Hello, I am working with Promela (Spin) and need help. I am having trouble understanding the Promela language and using Spin.

I need answers for:

1. A and B

2. A

Please give an actual answer not a guide about Promela.

I have posted screenshots of the questions and models below:

thank you.

Tasks 1. Consider the state machines shown in Figure 3.10 and 3.111. variable: count: 10 60) inputs: pedestrian pure count