Deadlock-able non-resolvable net system, Mechanical Engineering

Assignment Help:

See the Petri net represent in following figures (a) and (b) as represented in the figure for analysis and depiction of qualitative pathological behaviors.

962_Deadlock-able Non-Resolvable Net System.png

Figure: (a): An Unbounded Deadlock-able Non-Resolvable Net System

690_Deadlock-able Non-Resolvable Net System1.png

Figure: (b): Increasing the Number of Initial Markings 'Kills', the Live Net System

We can clearly consider that firing of transition t2 providing us a new marking M(0, 0, 1, 1) that means that p3 and p4 acquire one tokens each. Here by firing t2 we acquire a new marking M1 (1, 0, 1, 0). While we iterate this step n times the marking Mn(1, 0, n, 1) is attained. Hence we can consider that marking of p is dependent on the number of times we flow the tokens whereas firing the transitions t2 and t4. If we arbitrarily raise number of iterations to a very huge value then a condition termed as overflow can appear in these cases and the place p3 is said to be unbounded.

These situations should be carefully dealt along with as unbounded-ness is a pathological or unwanted situation. In other words we must say that the property of bounded-ness is a more advantageous situation.

In the similar manner Petri net if we fire transition t1 then it is clearly observable that no other transition able to be fired and the system come into a state of deadlock. It is a extremely not wanted situation. This is desirable for each model to be in a deadlock-free state and hence at least one transition must always convince the conditions for firing.

Once again we have a state of liveliness that is stronger than deadlock-freeness. A transition is live whether it is potentially friable in all reachable markings. Hence a live transition all the time has the possibility of firing and a net system is termed as live if all the transitions are friable.

The reversibility's property holds a significant position in the Petri net modelling analysis. A reversible net system is only that can reach to its initial marking from any of its intermediate markings. In the following figure (a), the above situation is not satisfied and so lead to a nonreversible net structure. If a total deadlock is attained at any reachable marking, the net system can't be reversible except the reverse is not all times true. Therefore a system might not be reversible however; it can hold the liveliness and thus deadlock-freeness.


Related Discussions:- Deadlock-able non-resolvable net system

Two-phase flow in a horizontal pipe, Two-Phase flow In a Horizontal Pipe ...

Two-Phase flow In a Horizontal Pipe While working for an oil company you are asked to produce a report on a two-phase flow problem. A mixture of oil and gas is to be pumped al

Explain working of tubesheets, Q. Explain working of Tubesheets? The tu...

Q. Explain working of Tubesheets? The tube and tube pitch selected shall be approved by WorleyParsons Canada. The preferred tube pitch shall be a minimum of 1.3 x tube OD and

Evaluate crippling load, A column of timber section 15cm x 20cm is 6 meter ...

A column of timber section 15cm x 20cm is 6 meter long both side being fixed. If the youngs modulus for timber is 17.5 KN/mm 2 , Evaluate: a) Crippling load and b) Safe load

What is octree encoding, What is Octree Encoding Octress are hierarchic...

What is Octree Encoding Octress are hierarchical variant of spatial-occupancy enumeration, designed to address that approach's demanding storage requirements. Octress are in tu

Evaluate resultant of the system - mechanics, Evaluate resultant of the sys...

Evaluate resultant of the system: Q: Figure given below shows two vertical forces and couple of moment 2000 Nm acts on horizontal rod, which is fixed at end A .  Determin

Factors in the design of high temperature materials, Q. Factors in the desi...

Q. Factors in the design of high temperature materials? There is typically little correlation between room temperature strength and high temperature strength of creep-resistant

Determine a least square geometric curve, Determine a least square geometri...

Determine a least square geometric curve y = ax b to the following data : x:  1   2  3   4   5 y: 0.5  2 4.5 8 12.5 Fit a straight line y = a + bx to the following data b

What do you mean by line designation tables, Q. What do you mean by Line De...

Q. What do you mean by Line Designation Tables? Development of the Line Designation Tables (LDT's) is carried out in conjunction with the evolution of the P&ID's. Engineering

Briefly explain how geothermal powerplant operate, Illustrate types of nucl...

Illustrate types of nuclear reactors with diagrams? a) Give advantages and disadvantages of nuclear power plant? b) Briefly explain how geothermal powerplant operate with fig

Design a pipeline and pump station to pump water, Design Problem:  Design a...

Design Problem:  Design a pipeline and pump station to pump 100 MGD of water to the Mississippi river.  To reduce the required horsepower of the pumps, the flow will be pressurized

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