Deadlock-able non-resolvable net system, Mechanical Engineering

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.

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

Related Discussions:- Deadlock-able non-resolvable net system, Assignment Help, Ask Question on Deadlock-able non-resolvable net system, Get Answer, Expert's Help, Deadlock-able non-resolvable net system Discussions

Write discussion on Deadlock-able non-resolvable net system
Your posts are moderated
Related Questions
How CAD system communicate with control system The concept of a universal data exchange system is depicted in figure. In this figure, it is shown how various CAD systems commun

Implementation of Material Requirement Planning: The total requirements for a material from an MRP schedule are given in the following table :

Q. Explain about Hydrostatic Test? All paragraph must be met when the hydrostatic test is employed. UG-99(b), including footnote 32, shall be considered to be the standard hyd

Q. Which functions used for coating? • Improves arc stability by providing certain chemical which have this ability, by ionizing the path of arc. • Provides a protective gaseou

Submerged Arc Welding   Single pass filler welds upto (8.0 mm) maximum and groove welds made with a single pass or a single pass each side, may be made using an E7os-x elect

Find the Laplace transform of the following differential equation: ? +3? +6x = 0, x(0) =0, ?(0)=3 Taking the inverse Laplace transform of X(s), obtain the time solution x(t).

Calculate number of cycles to fracture: If the plastic deformation is taken into consideration calculate number of cycles to fracture in above Example. Solution Δ K I

A steel dia 10 mm passes through a brass tube of internal dia 15mm and external dia is 25 mm. The bolt is tightened by a nut. The length of tube is reduced by 1.5mm and the length

(a) Show by use of Buckingham's Pi-Theorem that the velocity through an orifice is given by V = √2gH  f D/H , M/ΡVH , σ/ΡV 2 H . Where H is the head causing flow, D is the diame

Evolution of Specific volume of wet saturated steam -thermodynamics : Specific volume of wet saturated steam (V we t ) It is volume occupied by unit mass of wet satu