Potential deadlock, Mechanical Engineering

Assignment Help:

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.


Related Discussions:- Potential deadlock

Find minimum time for a vehicle to go from 0 to 60 mph, For a few of the fo...

For a few of the following problems the constant acceleration is due to gravity and will be notated as a = g = 32 ft/sec 2 . 'g' perhaps positive or negative depending on the conte

Describe Geometric information of b-rep, Geometric information of B-rep ...

Geometric information of B-rep Geometric information are usually equations of the edges and faces.

Newtons ring, a plano concave lens is used instead of plano convex lens in ...

a plano concave lens is used instead of plano convex lens in newtons ring

I want assignment on types of suspension systems, It should include 10 page...

It should include 10 pages along with pictures and references.

Determine the change in pressure rise through the compressor, We have a rec...

We have a reciprocating compressor operating at 800 rpm.  Suction pressure and discharge pressure are held constant by other systems that have nothing to do with the compressor.  W

Show the vessel supports, Q. Show the Vessel Supports? Approved materia...

Q. Show the Vessel Supports? Approved materials and allowable stresses, shall be used for vessels and their supports. For structural shape support members in compression, wh

Determine the angle of jet, A jet of water moving at 8 m/sec. impinges on a...

A jet of water moving at 8 m/sec. impinges on a concave-shaped vane to deflect the jet through 120 o when stationary. If the vane is moving at 5 m/sec., determine the angle of jet

Design the pavement, As spring approaches, your design rm has been tasked ...

As spring approaches, your design rm has been tasked with designing a two-lane highway in rural Wyoming. The highway descends a hill, crosses a river, and must shift to a parallel

Perform a beam modal analysis, 1) Figure shows a thin Aluminium structural ...

1) Figure shows a thin Aluminium structural beam use in an aircraft structure.  Using the stiffness method, determine the BM and Shear force of the two elements of the thin beam sh

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd