Question: Question Number: Consider the following figure which shows two traffic lights next to each other and both can switch to green at the same time,

Question Number: Consider the following figure which shows two traffic lights next to each other and both can switch to green at the same time, yielding to all kinds of problems. Therefore, it is required to ensure that at any point in time one of the two traffic lights is red. In this problem, you have two concurrent processes (traffic lights) and you have to synchronize them in some way that they exhibit a safe behavior. Use PETRI NET to model, how the two traffic lights can be synchronized in two different ways i.e., NON-DETERMINISTIC (any one traffic light green at a time) and ALTERNATE (traffic lights green one by one). Also, write initial and subsequent marking with comments. Question Number: Consider the following figure which shows two traffic lights next

r1 r2 rg1 rg2 or 1 g1 g2 or2 go1 go2 01 02 r1 r2 rg1 rg2 or 1 g1 g2 or2 go1 go2 01 02

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Please read the attachment carefully. It is an example of an informal report. Please write the COVER EMAIL for this report. The word limit should be between 300 -350 words and follow the format. City...

Answer All the questions (a) The International Accounting Standards Board's framework for the presentation of financial statements prescribes for recognition of assets only when two conditions are...

ion: Consider the following rules " If one is drunk or sick then he/she is not sober. Further, assume the following facts concerning the respective people: "Tony is sober" "Tom is not sober" "Esther...

read this : then answer this question The Basics of Measurement - 27 28 - Software Metrics can use rules about measurement to codify our initial understanding, and then expand our horizons as we...

Dr.Ramsey Please assist me with my discussion post. Subject: Annuities Systematic risk evaluates the probability and extent of negative consequences to the larger body. For example, the government...

The table below gives the color and cost of light bulbs that were sold at a certain store. These are the only light bulbs that the store sold. Calar Cost ($ ) Red A Yellow 4 Purple 5 Green 2 White 3...

PLEASE LIST OUT ALL THE TEST CASES, THANK YOU! Question 2 Consider the following Traffic Light System specification and transition diagram in figure 2 below. Traffic light system works as follow: -...

Multiple Choice Questions: 1. The courts have held that the legal authority held by private security personnel is derived from what source? A. Their Employer B. Constitutional Law C. Civil Law D....

Using the legend provided, indicate which form of business entity each of the following characteristics describes. Some of the characteristics may apply to more than one form of business entity....

Which of the following parties is liable to repay an illegal distribution to a corporation? A . A director not breaching his or her duty in approving the distribution and the corporation is solvent....

Compared with half a century ago, adoption has become _ _ _ _ _ _ _ _ _ common, but it is more open and acceptabl e , so we probably discuss it _ _ _ _ _ _ _ . fill in the blanks more or much less or...

6. The display presents models engaging in both positive use of key behaviors and negative use (ineffective models not using the key behaviors).

3. An overview of the key behaviors is presented.

2. The model is credible to the trainees.