Potential deadlock, Mechanical Engineering

Suppose an interesting situation represented in following figure (b). The Petri net somewhat shows a paradoxical situation. Intuitively we contain in our minds that by raising the initial marking of the Petri net we can raise its chances of it being live. By sum a token to p5 we can consider that t2 can be fired and the system attains a deadlock.

Thus we can interpret that raising the number of resources or the initial markings not all times assists in making the system live.

Furthermore we ignore any potential deadlock by employing additional intermediate places. That type of deadlocks appear while the operation say Oi, j, k is completed in at the machine Mk and Oi,j+1,k1 needs the machine Mk1 and the operation Oi1,j1,k1 is done at machine Mk1 and Oi1, j1+1,k needs machine Mk. The situation is shown in following figure (a) as represented below.

2164_Potential Deadlock.png

Figure: (a): A Potential Deadlock

The operations Oi,j+1,k and Oi1,j1+1,k1 are be reinitiated via swapping the resources Mk and Mk1. In the model represented in figure (a), the model fails to attain this. Hence we employ additional intermediate places to resolve the problem and it is portrayed in following figure (b) below.

2415_Potential Deadlock1.png

Figure: (b): A Solution for Potential Deadlock

The model as represented in figure consequent to having a buffer at machine. Via unloading otherwise via either a human operator or via a robot the part from the machine to the buffer after the operation the machine is available and deadlock does not arise. At all machine, the loading of the part onto the machine before the operation is seemed as the part of the operation. Such procedure avoids an exact type of potential deadlocks.

Posted Date: 2/23/2013 6:07:13 AM | Location : United States







Related Discussions:- Potential deadlock, Assignment Help, Ask Question on Potential deadlock, Get Answer, Expert's Help, Potential deadlock Discussions

Write discussion on Potential deadlock
Your posts are moderated
Related Questions
what is surging in turbo machines subject

Vertical vessels having height-to-diameter ratios greater than 8 and weighing more than 25,000 lb. (11300 kg), shall have bending stresses in the vessel shell/skirt checked, from t

Those that produce microbial cells e.g.Baker's yeast or mycoprotein. Those that produce microbial enzymes e.g. alpha amylase for starch processing, glucose isomerase for the pro

LIMITATIONS OF GAS TUNGSTEN ARC WELDING (GTAW) It Produces lower deposition rates than consumable electrode arc welding processes. It Requires slightly more skill as comp

how to design and fabricate wilson hartnell governor?

how we made parts of engine

Illustarte the following (a) Acceptance sampling (b) OC-Curve


Angular Dimensions There is only one command in this section and it is used to annotate angular measurements. The Angular Dimension Command The Angular command is amazi

Find out the moment of inertia of an annular area: Find out the M. I. of an annular area among two circles where difference of radius is quite small, around any centroidal axi