Petrinet

861 views

Published on

Petrinets

Published in: Technology
0 Comments
3 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
861
On SlideShare
0
From Embeds
0
Number of Embeds
5
Actions
Shares
0
Downloads
74
Comments
0
Likes
3
Embeds 0
No embeds

No notes for slide

Petrinet

  1. 1. Petri Net :Abstract formal model of information flow Major use: Modeling of systems of events in which it is possible for some events to occur concurrently, but there are constraints on the occurrences, precedence, or frequency of these occurrences. Petri Net 1
  2. 2. Petri Net as a Graph :Models static properties of a system • Graph contains 2 types of nodes – Circles (Places) – Bars (Transitions) • Petri net has dynamic properties that result from its execution – Markers (Tokens) – Tokens are moved by the firing of transitions of the net. Petri Net 2
  3. 3. Petri Net as a Graph (cont.) (Figure 1) A simple graph representation of a Petri net. Petri Net 3
  4. 4. Petri Net as a Graph (cont.) (Figure 2) A marked Petri net. Petri Net 4
  5. 5. Petri Net as a Graph (cont.) (Figure 3) The marking resulting from firing transition t2 in Figure 2. Note that the token in p1 was removed and tokens were added to p2 and p3 Petri Net 5
  6. 6. Petri Net as a Graph (cont.) (Figure 4) Markings resulting from the firing of different transitions in the net of Figure 3. (a) Result of firing transition t1 Petri Net 6
  7. 7. Petri Net as a Graph (cont.) (Figure 4) Markings resulting from the firing of different transitions in the net of Figure 3. (b) Result of firing transition t3 Petri Net 7
  8. 8. Petri Net as a Graph (cont.) (Figure 4) Markings resulting from the firing of different transitions in the net of Figure 3. (c) Result of firing transition t5 Petri Net 8
  9. 9. Petri Net as a Graph (cont.) (Figure 5) A simple model of three conditions and an event Petri Net 9
  10. 10. (Figure 6) Modeling of a simple computer system Petri Net 10
  11. 11. Petri Net as a Graph (cont.) (Figure 7) Modeling of a nonprimitive event Petri Net 11
  12. 12. Petri Net as a Graph (cont.) (Figure 8) Modeling of “simultaneous” which may occur in either order Petri Net 12
  13. 13. Petri Net as a Graph (cont.) (Figure 9) Illustration of conflicting transitions. Transitions tj and tk conflict since the firing of one will disable the other Petri Net 13
  14. 14. Petri Net as a Graph (cont.) (Figure 10) An uninterpreted Petri net. Petri Net 14
  15. 15. (Figure 11) Hierarchical modeling in Petri nets by replacing places or transitions by subnets (or vice versa). Petri Net 15
  16. 16. (Figure 12) A portion of a Petri net modeling a control unit for a computer with multiple registers and multiple functional units Petri Net 16
  17. 17. (Figure 13) Representation of an asynchronous pipelined control unit. The block diagram on the left is modeled by the Petri net on the right Petri Net 17
  18. 18. Petri Net as a Graph (cont.) Petri Net 18
  19. 19. (Figure 15) A Petri net model of a P/V solution to the mutual exclusion problem Petri Net 19
  20. 20. (Figure 16) Example of a Petri net used to represent the flow of control in programs containing certain kind of constructs Petri Net L: S0 Do while P0 if P2 then S1 else S2 endif parbegin S3,S4,S5, parend enddo goto L 20
  21. 21. (Figure 17) A Petri net model for protocol 3 Petri Net 21
  22. 22. Other properties for analysis • Boundeness – Safe net (bound = 1) – K-bounded net • Conservation ==> conservative net • Live transition • Dead transition Petri Net 22
  23. 23. State of a Petri net • State - defined by its marking, µ • State space - set of all markings: (µ0, µ1, µ2, ...) • Change in state - caused by firing a transition, defined by partial Fn, δ (example) µ1 = δ (µ0 , tj) • Note: marking -For a marking µ , µ(Pi) = µi A marked Petri net: m = (P, T, I, O, µ) Petri Net 23
  24. 24. µ0 = (1, 0, 1, 0, 2) δ(µ0, t3) = (1, 0, 0, 1, 2) = µ1 δ(µ1, t4) = (1, 1, 1, 0, 2) = µ2 Petri Net etc. 24
  25. 25. (Figure 19) A Petri net with a nonfirable transition. Transition t3 is dead in this marking Petri Net 25
  26. 26. Petri Net as a Graph (cont.) Petri Net 26
  27. 27. Petri Net as a Graph (cont.) (1, 0, 1, 0) (Figure 21) The reachability tree of the Petri net of Figure 19 t3 (1, 0, 0, 1) t2 (1, ω, 1, 0) t1 (1, ω, 0, 0) t3 (1, ω, 0, 1) t2 (1, ω, 1, 0) Petri Net 27
  28. 28. Unsolvable Problems • Subset problem - given 2 marked Petri nets, is the reachability of one net a subset of the reachability of the other net undecidable (Hack) ...... • Complexity reachability problem is exponential time-hard and exponential space-hard. Petri Net 28

×