Markerad graf
En markerad graf är ett petrinät där varje plats har exakt en inkommande båge och exakt en utgående båge. Det betyder att det inte kan finnas konflikt , men det kan finnas samtidighet . Matematiskt: . Markerade grafer används mest för att matematiskt representera operationer som körs samtidigt, såsom en multiprocessormaskins interna processtillstånd. Denna klass av Petri-nät har fått namnet från ett populärt sätt att representera dem: som en graf där varje plats är en kant och varje övergång är en nod.
Används
Markerade grafer används främst för att matematiskt representera samtidiga mekanismer, för att matematiskt kunna härleda vissa egenskaper hos designen.
Exempel
Det här exemplet presenterar en markerad graf, där en process delas vid övergång T1 och synkroniseras vid T4. Däremellan sker två operationer på icke-deterministiskt sätt, T2 och T3. Faktum är att Petri-nät är så mycket icke-deterministiska att de kanske inte äger rum alls. Men anledningen till att ha denna icke-deterministiska egenskap är inte detta, utan för att efterlikna verkliga upplevelser som visar att parallell beräkning alltid innebär att det är omöjligt att avgöra vilken process/tråd som kommer att avslutas först, dvs. vilka operationer som kommer att utföras snabbare . Detta kan bero på att man väntar på I/O i verkligheten, eller bara de olika parametrarna som ges till processerna/trådarna.