what is petri nets? a bipartite graph g(v,e) – v = p u t p is the set of places (represented with...
TRANSCRIPT
![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.vdocuments.us/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.vdocuments.us/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.vdocuments.us/reader036/viewer/2022082700/551456cc550346414e8b53f4/html5/thumbnails/3.jpg)