Networking Question

Simulation of Dining Philosophers

In this project we use the dining philosopher system as our main example. Four Chinese philosophers

are sitting around a circular table. In the middle of the table there is a delicious dish of rice, and between each pair of philosophers there is a single chopstick. Each philosopher alternates between thinking/resting and eating. To eat, the philosopher needs two chopsticks, and he is only allowed to use the two which are situated next to him (on his left and right side). The sharing of chopsticks prevents two neighbors from eating at the same time.


The philosopher system is modelled by the CPN tools software as shown below:



About the system:

  • The system is designed to use forks and knifes instead of chopsticks.
  • PH1, PH2, PH3 and PH4 represents the philosophers.
  • There are 8 places and 8 transitions detailed in the table below:
4 places 2 forks and 2 knifes
4 places 4 philosophers
4 transitions Eating activity for each philosopher
4 transitions Resting activity for each philosopher


  • The network includes initialization tokens at Fork1 and Knife1.
  • The network associated with philosopher 1 (PH1) is complete. He is ready to eat. The transition “PH1 Ready to Eat” is enabled (tokens at Fork1 and Knife1 are ready to fire). In other words, having one knife and one fork philosopher 1 is ready to eat. When PH1 having a state where two tokens are available, he can also rest by releasing (triggering PH1 ) the fork and knife. On the other hand, the networks of the other philosophers are not complete.


  1. Construct the CP-net as shown above. Make sure to use proper labeling and correct color set.
  2. Complete the network of other philosophers. Use philosopher 1 network as your guide.
    1. Do not add/delete places or transitions
    2. Provide screenshot of the diagram.
  3. Test the system and write your notes about the system’s behavior.
  4. What OS problem does the model represent, and how can it be solved??

Note: At any moment in the system, maximum any two non-neighbor philosopher can either eat or rest, and the other two are resting or eating respectively.


  • Send an electronic copy of a word file that includes your answers for all above questions to my email.
  • Send CPN file to my email.




Calculate your order
Pages (275 words)
Standard price: $0.00
Client Reviews
Our Guarantees
100% Confidentiality
Information about customers is confidential and never disclosed to third parties.
Original Writing
We complete all papers from scratch. You can get a plagiarism report.
Timely Delivery
No missed deadlines – 97% of assignments are completed in time.
Money Back
If you're confident that a writer didn't follow your order details, ask for a refund.

Calculate the price of your order

You will get a personal manager and a discount.
We'll send you the first draft for approval by at
Total price:
Power up Your Academic Success with the
Team of Professionals. We’ve Got Your Back.
Power up Your Study Success with Experts We’ve Got Your Back.