ee249 discussion petri nets: properties, analysis and ...€¦ · petri nets: properties, analysis...
TRANSCRIPT
![Page 1: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/1.jpg)
EE249 DiscussionPetri Nets: Properties, Analysis and Applications - T. Murata
Chang-Ching Wu
10/9/2007
![Page 2: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/2.jpg)
What are Petri Nets
� A graphical & modeling tool.
� Describe systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic.
2
nondeterministic, and/or stochastic.
� Graphically as a visual-communication aid similar to flow charts, block diagrams, and networks.
� Mathematically for state equations, algebraic equations, and behavioral models.
![Page 3: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/3.jpg)
Application Areas
� Performance evaluation
� Communication protocols
� Modeling and analysis of distributed-software systems
Distributed database systems
3
� Distributed database systems
� Concurrent and parallel programs
� …
� Note: special modifications or restrictions suited to the particular application are often necessary.
![Page 4: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/4.jpg)
Formal Definition
4
![Page 5: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/5.jpg)
Transition Rule
� A transition t is enabled if each input place p of t is marked with enough tokens.
� A enabled transition may or may not
5
� A enabled transition may or may not fire.
� A firing of an enabled transition t removes tokens from each input place and adds tokens to each output place.
![Page 6: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/6.jpg)
An Example of Firing Rule
6
![Page 7: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/7.jpg)
Strict Transition Rule
� K(p): maximum number of tokens that place p can hold at any time.
� The number of tokens in each output place p of t cannot exceed its capacity
7
place p of t cannot exceed its capacity K(p) after firing t.
� Weak transition rule: Without the above capacity constraint.
![Page 8: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/8.jpg)
An Example
8
![Page 9: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/9.jpg)
An Example (Cont’d)
9
All properties associated with a finite-capacity net can beDiscussed in terms of those with an infinite-capacity netUsing the complementary transformation.
![Page 10: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/10.jpg)
Deterministic Parallel Activities
10
V.S.
![Page 11: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/11.jpg)
Reachability
� A marking Mn is said reachable form a marking M0 if there exists a sequence of firings that transforms M0 to Mn.
� R(N,M0) or R(M0): the set of all possible
11
� R(N,M0) or R(M0): the set of all possible markings reachable from M0.
� L(N,M0) or L(M0): the set of all possible firing sequences from M0.
� Reachability problem: finding if Mn R(M0)
![Page 12: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/12.jpg)
Boundedness
� k-Bounded: if the number of tokens in each place does not exceed a finite number k for any marking reachable form M0, M(p)≤k, for every place p
12
form M0, M(p)≤k, for every place p and every marking M R(M0).
� Safe: if 1-bounded
� Guaranteed no overflow in buffers and registers.
![Page 13: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/13.jpg)
Liveness
� Live: if it is possible to fire any transition of the net by progressing through some further firing sequence.
� Guarantees deadlock-free operation.
13
� Guarantees deadlock-free operation.
![Page 14: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/14.jpg)
Reversibility and Home State
� Reversible: if M0 is reachable from M. One can always get back to M0.
� M’ is said a home state if M’ is reachable from M.
14
reachable from M.
![Page 15: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/15.jpg)
Coverability
� A marking M is said coverable if there exists a marking M’ in R(M0) shuch that M’(p)≥M(p) for each p in the net.
15
![Page 16: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/16.jpg)
Persistence
� Persistent: if, for any two enabled transitions, the firing of one transition will not disable the other.
16
![Page 17: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/17.jpg)
Synchronic Distance
� A metric closely related to a degree of mutual dependence between two events.
� Definition of synchronic distance
17
� Definition of synchronic distance between two transitions t1 and t2:
![Page 18: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/18.jpg)
Fairness
� Bounded-fair (B-fair) of two transitions t1 and t2: if the maximum number of times that either one can fire while the other is not firing is bounded.
18
fire while the other is not firing is bounded.
� Unconditionally fair at a firing sequence σ: if the sequence is finite or every transition in the net appears infinitely often in σ.
![Page 19: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/19.jpg)
Coverability Tree
19
ω: infinity
![Page 20: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/20.jpg)
Properties by Coverability Tree
� Bounded and finite iff ω does not appear in any node labels.
� Safe iff only 0’s and 1’s appear in node lables.
20
node lables.
� A transition t is dead iff it does not appear as an arc label.
� If M is reachable from M0, then there exists a node labeled M’ such that M≤ M’.
![Page 21: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/21.jpg)
Incidence Matrix
� For a Petri net N with n transitions and m places, the incidence matrix A=[aij] is an n x m matrix of integers.
21
![Page 22: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/22.jpg)
Reduction Rules for Analysis
22
![Page 23: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/23.jpg)
Subclasses of Petri Nets
� State machine (SM)
� Marked graph (MG)
� Free-choice (FC)
23
� Extended free-choice net (EFC)
� Asymmetric choice net (AC)
![Page 24: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/24.jpg)
An Example
24
![Page 25: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/25.jpg)
Venn Diagram
25
![Page 26: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/26.jpg)
Marked Directed Graph (G,M0)
� Arcs correspond to places, nodes to transitions, and tokens are placed on arcs.
26
![Page 27: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/27.jpg)
Siphon and Trap
27
![Page 28: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/28.jpg)
Expansion Rules
28
![Page 29: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/29.jpg)
Synthesis of Synchronic Distance Matrix
29
![Page 30: EE249 Discussion Petri Nets: Properties, Analysis and ...€¦ · Petri Nets: Properties, Analysis and Applications -T. Murata Chang-Ching Wu 10/9/2007. What are Petri Nets A graphical](https://reader033.vdocument.in/reader033/viewer/2022060910/60a52a85df278d02d3255bd7/html5/thumbnails/30.jpg)
An Example of Petri Nets Extensions: High-Level Nets
30