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
example of 2nd corollary of first law of thermodynamics

Chain conveyors consists of overhead mounted endless chain. It is supported from the ceiling and has a fixed path to travel. It saves valuable floor space. The arrangement i

Deficient Frame and Redundant Frame - truss: Deficien t Frame: If the numbers of member in the frame are less than (2 j -3), then the frame is called as deficient fr

Calculate the KIC from the data - thick cylinder: In a fracture test a 3-point bend specimen of thickness 20 mm and depth 25 mm is supported over a span of 100 mm. The specime

Mash stitch welding An overlap of about 1.15 mm is kept and then the plates are squeezed flash by application of pressure at hot condition.  Mash stitch welding is used in the

Objectives After studying this section, you should be capable to understand: Cell aspects of scheduling, Conventional priority rules, Newer approaches to on line

Master Production Schedule: A manufacturing unit produces two products M and N on generates to stock basis. The estimated demand for the product M and N over the next six week

What is a difference between the steady state conditions and the thermal equilibrium state? In steady state condition, temperatures are constant although heat transfer is taking

Define the term Engineering Mechanics Sol.: Engineering mechanics is the branch of science, which deals the action of forces on the rigid bodies. Everywhere we feel applicat

explain classifications of models based on dimensionality,time-reference,degree of generality and degree of closure