PetriNets and Other Models Summary n PetriNet Models
- Slides: 31
Petri-Nets and Other Models
Summary n Petri-Net Models ¨ Definitions ¨ Modeling protocols using Petri-Nets ¨ Modeling Queueing Systems using Petri-Nets n Max-Plus Algebra
Marked Petri Net Graph n A Petri net graph is a weighted bipartite graph n P is a finite set of places, P={p 1, …, pn} T is a finite set of transitions, T={t 1, …, tm} A is the set of arcs from places to transitions and from transitions to places n n ¨ (pi, tj) n n or (tj, pi) represent the arcs w is the weight function on arcs x is the marking vector x =[x 1, …, xn] represents the number of tokens in each place.
Petri Net Example Arc with w=1 Transition 0 Place 1 Token Transition 1 n n I(tj) = {pi P : (pi, tj) A} O(tj) = {pi P : (tj, pi) A} n n I(pi) ={tj T : (tj, pi) A} O(pi) ={tj T : (pi, tj) A}
Petri Net Marking n n A transition tj T is enabled when each input place has at least a number of tokens equal to the weight of the arc, i. e. , xi ≥ w(pi, tj) for all pi I(tj) When a transition fires it removes a number of tokens (equal to the weight of each input arc) from each input place and deposits a p 1 number of tokens (equal to the weight of each output arc) to each output place. t 1 p 2 t 2
Petri Net Dynamics n n n The state transition function f of a Petri net is defined for transition tj if and only if xi ≥ w(pi, tj) for all pi I(tj) If f(x, tj) is defined, then we set x’i = xi + w(tj, pi) - w(pi, tj) for all i=1, …, n Define uj=[0, … 0, 1, 0, … 0] where all elements are 0 except the j-th one. ¨ Also define the matrix A=[aji] where aji = w(tj, pi) - w(pi, tj) ¨ n In vector form x’= x + uj. A
Example: Computer Basic Functions n Design a Petri-net that imitates the basic behavior of a computer, i. e. , being down, idle or busy a I B r c f f D
Modeling Protocols Using Petri Nets (Stop and Wait Protocol) n Transmitter Receiver Frame Timer n The transmitter sends a frame and stops waiting for an acknowledgement from the receiver (ACK) Once the receiver correctly receives the expected packet, it sends an acknowledgement to let the transmitter send the next frame. When the transmitter does not receive an ACK within a specified period of time (timer) then it retransmits the packet. ACK 0 0 Frame Timer n ACK 1 Frame ACK 0 0 1
Stop and Wait Protocol: Normal Operation pkt 0 Get Pkt 0 Send Pkt 0 Ack 0 Wait Ptk 1 Wait Ack 0 Send Pkt 1 Wait Ack 1 Transmitter State pkt 1 Get Pkt 1 Ack 1 Wait Pkt 0 Channel State Receiver State
Stop and Wait Protocol: Normal Operation pkt 0 Get Pkt 0 Send Pkt 0 Ack 0 Wait Ptk 1 Wait Ack 0 Send Pkt 1 Wait Ack 1 Transmitter State pkt 1 Get Pkt 1 Ack 1 Wait Pkt 0 Channel State Receiver State
Stop and Wait Protocol: Deadlock pkt 0 Get Pkt 0 Send Pkt 0 loss Ack 0 Wait Ptk 1 Wait Ack 0 loss Send Pkt 1 Wait Ack 1 loss pkt 1 Get Pkt 1 Ack 1 Wait Pkt 0 loss Transmitter State Channel State Receiver State
Stop and Wait Protocol: Deadlock Avoidance Using Timers pkt 0 Get Pkt 0 Send Pkt 0 loss Wait Ack 0 Wait Ptk 1 timer loss Send Pkt 1 Ack 0 pkt 1 Get Pkt 1 Ack 1 Wait Pkt 0 timer Wait Ack 1 loss Transmitter State Channel State Receiver State
Stop and Wait Protocol: Loss of Acknowledgements pkt 0 Get Pkt 0 Send Pkt 0 loss Wait Ack 0 Reject 0 Wait Ptk 1 timer loss Send Pkt 1 Ack 0 pkt 1 Get Pkt 1 timer Wait Ack 1 loss Ack 1 Reject 1 Wait Pkt 0 loss Transmitter State Channel State Receiver State
Example: Queueing Model n What are some possible Petri nets that can model the simple FIFO queue a d t 1=a p 1 t 2=d
Example: Queueing Model n A “richer” Petri-net model t 1=a a p 1=Q p 3=I t 2=s p 2=B t 3=d d
Example: Queueing Model with Server Breakdown n How does the previous model change if server may break down when it serves a customer? t 1=a p 1=Q t 2=s p 3=I t 5=r t 4=b p 2=B t 3=d p 4=D
Example: Finite Capacity Queueing Model n What is a Petri net model for a finite capacity queue? t 1=a p 4=K p 1=Q t 2=s p 2=B t 3=d p 3=I
Other Petri Net Variations n Inhibitor Arcs: A transition with an inhibitor arc is enabled when ¨ All input places connected to normal arcs (arrows) have a number of tokens at least equal to the weight of the arcs and ¨ All input places connected to inhibitor arcs (circles) have no tokens. p 1 p 2 t DISABLED p 1 p 2 t ENABLED p 1 p 2 t DISABLED
Other Petri Net Variations n Colored Petri Nets ¨ In this case, tokens have various properties associated with them. This can be an attribute or an entire data structure. For example, n n n Priority Class Etc.
Timed Petri Net Graph n n n In the previous discussion, the Petri net models had no time dimension. In other words, we did not consider the time when a transition occurred. Timed Petri nets are similar to Petri nets with the addition of a clock structure associated with each timed transition A timed transition tj (denoted by a rectangle) once it becomes enabled fires after a delay vjk.
Example: Timed Petri Net t 1=a a p 1=Q p 3=I d t 2=s n p 2=B n t 3=d Transitions t 1 and t 3 fire after a delay given by the model clock structure Transition t 2 fires immediately after it becomes enabled
Petri Net Timing Dynamics n Notation is the current state ¨ e is the transition that caused the Petri net into state x ¨ t is the time that the corresponding event occurred ¨x is the next transition to fire (firing transition) ¨ t’ is the next time the transition fires ¨ x’ is the next state given by x’ = f(x, e’). ¨ e’ is the next score of transition i ¨ y’i is the next clock value of transition i (after e’ occurs) ¨ N ’i
The Event Timing Dynamics n n Step 1: Given x evaluate which transitions are enabled Step 2: From the clock value yi of all enabled transitions (denoted by Γ(x)) determine the minimum clock value y*= mini Γ(x){yi} Step 3: Determine the firing transition e’= arg mini Γ(x){yi} Step 4: Determine the next state x’ = f(x, e’) ¨ where f() is the state transition function.
The Event Timing Dynamics n Step 5: Determine n t ’= t + y * Step 6: Determine the new clock values n Step 7: Determine the new transition scores
Two Operation (Dioid) Algebras n n The operation of timed automata or timed Petri nets can be captured with two simple operations: ¨ Addition ¨ Multiplication This is also called the max-plus algebra
Basic Properties of Max-Plus Algebra n Commutativity n Associativity: n Distribution of addition over multiplication n Null element For example let η= -∞
Example
Queueing Models and Max-Plus Algebra t=0 a 0. 5 b t=0. 5 t=1. 5 1 1 t=2. 5 t=3. 5 0. 5 1. 5 2 0. 5 t=4. 5 t=5 0. 5 1 time
Queueing Dynamics n Let ak be the arrival time of the k-th customer and dk its departure time, k=1, …, K, then k=1, 2, …, a 0=0, d 0=0 n In matrix form, let xk=[ak, dk]T then where –L is sufficiently small such that max{ak+vak, dk-L}=ak+vak
Example n Determine the sample path of the FIFO queue when ¨ va={0. 5, 1. 0, 0. 5, 2. 0, 0. 5, …} ¨ vd={1. 0, 1. 5, 0. 5, 1. 0, …} …
Communication Link n How would you model a transmission link that can transmit packets at a rate G packets per second and has a propagation delay equal to 100 ms? t 1=a p 1=Q p 3=I t 2=s p 2=B t 3=d p 4=C t 4=tx
- What are modals and semi modals
- Self initiated other repair
- Taste and other tales summary
- Bipolar and other related disorders
- Bipolar and other related disorders
- Margo and her parents (visit-visits) each other often.
- How to solve square root equations
- Political science vs sociology
- Respect other people's time and bandwidth meaning
- Differences of vocal styles of india and israel
- Ten commandments of netiquette
- Mistletoe and spruce relationship
- The complex interrelationship between a text
- How do currents and magnets exert forces on each other
- What effect might alcohol and other drug
- Chandelier electrical symbol
- It is a process of removing food
- Net present value and other investment criteria
- Chapter 31 schizophrenia and other psychoses
- Licensing franchising and other contractual strategies
- Topic 2 free enterprise and other economic systems
- Water soluble vitamins characteristics
- Solipsism and the problem of other minds
- How to solve square root equations
- Relationship between social work and other social sciences
- Resolution no. 435 series of 1997 summary
- Chapter 9 net present value and other investment criteria
- Topic 6 quadrilaterals and other polygons answers
- Snmp port number
- Solving square root and other radical equations
- What are line conventions
- Louie his cousin and his other cousin