|
=== Sentaks ===
Bir '''Petri ağı grafı'''(bazıları tarafından Petri ağı olarak da söylenir ancak aşağıya bakın) <math>(S,T,W)\!</math> olarak ifade edilecek şekilde, üç elemanlıdır(''tuple''). Öyle ki;:
* ''S'' yerlerin sonlu kümesidir.
* ''T'' geçişlerin sonlı kümesidir.
* <math>W: (S \times T) \cup (T \times S) \to \mathbb{N}</math> eğriler ''<u>multiset</u>idir''.. Her bir eğriye, negatif olmayan bir tamsayı(Eğri ağırlığı) ataması yapar.
TheAkış ''flow relation'' is theilişkisi seteğrilerin ofbir arcskümesidir: <math> F = \{ (x,y) \mid W(x,y) > 0 \}</math>. InBir manyçok textbookskitap, arcseğrilerin canağırlığının onlyyalnızca have1 multiplicityolabileceğini 1yazar. These textsBu oftenyazılar definegenellikle Petri netsağlarını using''W yerine ''F'' instead of ''W''. ile Whentanımlarlar. usingBu thisyaklaşım conventionkullanıldığında, abir Petri net graph is aağı [[bipartite graph|bipartite]] [[multigraph]] <math>(S \cup T, F)</math> withhaline node partitions ''S'' and ''T''dönüşür.
TheBir ''preset''geçişin ofgirdi a transitionkümesi(preset) ''t'', iso thegeçişe setait ofgiriş itsyerlerinin ''input placeskümesidir'': <math>{}^{\bullet}t = \{ s \in S \mid W(s,t) > 0 \}</math>; Geçişin çıktı kümesi(''postset)'' geçişe ait çıkış yerlerinin kümesidir: <math>t^{\bullet} = \{ s \in S \mid W(t,s) > 0 \}</math>. yerlerin girdi çıktı kümelerinin tanımları benzerdir (analoji).
its ''postset'' is the set of its ''output places'': <math>t^{\bullet} = \{ s \in S \mid W(t,s) > 0 \}</math>. Definitions of pre- and postsets of places are analogous.
A ''marking'' of aBir Petri net ağının(graphgrafının) is''işaretlemesi'' aonun multisetyerlerinin ofbir its places, i.emultisetidir.Yeni, a mapping <math>M: S \to \mathbb{N}</math>. Weadreslemesi sayiçin, theişaretleme markingher assignsyere tobelirli eachsayılarda placejeton aataması numberyapar ofderiz. ''tokens''.
A '''Petri netağı''' (calledbazıları ''markedtarafından işaretli Petri net''ağı byolarak some,da seeadlandırılır above)- isyukarıya abakın) 4-tuple elemanlı bir kümedir. <math>(S,T,W,M_0)\!</math>, whereÖyle ki:
* <math>(S,T,W)</math> isbir apetri Petri net graph;ağıdır.
* <math>M_0</math> is(Petri theağına ait bir işaretleme olan) ''initialilk markingişaretleme'', a marking of the Petri net graphdir.
== References ==
| 