Förstärkt markerad graf
En förstärkt markerad graf är i grunden ett Petri-nät med en specifik uppsättning platser som kallas resursplatser.
Om du tar bort dessa resursplatser och deras associerade bågar kommer det att bli en markerad graf där varje cykel markeras. För varje resursplats finns det par av utgående och inkommande övergångar kopplade av elementära vägar.
Ansökan
Förstärkta markerade grafer används ofta för att modellera system med delade resurser, såsom tillverkningssystem . Baserat på de speciella egenskaperna hos förstärkta markerade grafer kan egenskaperna hos de modellerade systemen, såsom livlighet , avgränsning och reversibilitet, effektivt analyseras.
- King Sing Cheung, Augmented Marked Graphs, Springer, 2014.