Designing of a simulation tool to analyse the dining philosopher's problem by petri net analysis

Abstract

Concurrent Systems are those where time is shared by each smaller module. Concurrency is the major problem in many of the real world system. It generally arises due to synchronization problem or improper scheduling between the modules. Such kind of sophisticated and large system is modelled for their analysis and study. Petri Nets is a graphical and mathematical tool which helps in modelling these systems that are concurrent, distributed, parallel, nondeterministic, asynchronous and stochastic.
The Dining Philosopher’s Problem is a classic Synchronization problem of the multi-processor systems. The project primarily includes the simulation of an example of multiprocessor system and designing and creation of a special simulation tool for Dining philosopher’s Problem by Petri Net. The tool is created in JAVA. The tool analyses the graph dynamically drawn consisting of places which represents the philosopher can think or eat and availability of the chopsticks and the transition represents whether a philosopher can pick up or return the stick. The prime focus is given to the User-Define Time constraint for a particular philosopher. The simulation tool guides the user at each and every step and the solutions given by the tool ensure a freedom of deadlock and in process coordination.