What is Petri nets? A bipartite graph G(V,E) – V = P U T P is the set of places (represented with...
3
What is Petri nets? • A bipartite graph G(V,E) – V = P U T • P is the set of places (represented with circles) • T is the set of transitions (represented with vertical bars) • E is the set of edges between P and T
-
Upload
jack-stewart -
Category
Documents
-
view
216 -
download
1
Transcript of What is Petri nets? A bipartite graph G(V,E) – V = P U T P is the set of places (represented with...
![Page 1: What is Petri nets? A bipartite graph G(V,E) – V = P U T P is the set of places (represented with circles) T is the set of transitions (represented with.](https://reader036.fdocuments.net/reader036/viewer/2022082700/551456cc550346414e8b53f4/html5/thumbnails/1.jpg)
What is Petri nets?• A bipartite graph G(V,E)
– V = P U T • P is the set of places (represented with circles) • T is the set of transitions (represented with vertical bars) • E is the set of edges between P and T
![Page 2: What is Petri nets? A bipartite graph G(V,E) – V = P U T P is the set of places (represented with circles) T is the set of transitions (represented with.](https://reader036.fdocuments.net/reader036/viewer/2022082700/551456cc550346414e8b53f4/html5/thumbnails/2.jpg)
What is Petri nets ? (cont …)
• Marking function M. • Given µ ε M each µ is a function which assigns a positive
integer value to each element of P. • µ is the marking of the graph • µ is a function from P to the non-negative numbers giving the
marking of the net • The marking is a vector µ = (µ1, µ2, ... µn), where µi is the
marking for the place p • f(p) is the marking of the place p
• Petri Net is a 5 tuple - PN = (P,T,F,W,Mº)
![Page 3: What is Petri nets? A bipartite graph G(V,E) – V = P U T P is the set of places (represented with circles) T is the set of transitions (represented with.](https://reader036.fdocuments.net/reader036/viewer/2022082700/551456cc550346414e8b53f4/html5/thumbnails/3.jpg)