pn3 - 1 and p both are going to get a token each. Conflict...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
1 Petri Nets III Wednesday, October 26, 2005
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 Review -Timed Petri Net Time can be associate with places, arcs, or  transitions. There are real life examples where time is  associated with more than one type of petri net parts.  Generally(in this course), we’ll associate time with  each transitions.    This delay time can be deterministic or probabilistic.  Number of servers produce different outcomes.   Timed Petri Net with Multi-Server / Infinite Server D D i  = A  = A i  +   +  σ σ Timed Petri Net with a Single Server D D i  = max(D  = max(D i-1 i-1 , A , A i ) +  ) +  σ σ
Background image of page 2
3 Clarification p 1 p 2 t 1 t 2 Not a conflict After a firing, p
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 1 and p both are going to get a token each. Conflict t 1 and t 2 are both ready to fire but the firing of one of them leads to disabling of the other transitions. 4 Exercises Draw and simulate fig. 4.41 Draw and simulate following situation: John and Mary are sharing one toy between them. John plays with the toy and then hands it to Mary. Meanwhile, John may pick up another series of toys, but each time he is unable to give a toy to Mary until she tells him she finished with the toy, and can now get the next one....
View Full Document

Page1 / 4

pn3 - 1 and p both are going to get a token each. Conflict...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online