1. A graph in which vertices, edges, or both are labeled with marks, symbols, or values to distinguish them or indicate properties
The marked graph shows different colored vertices representing different states in the system.
O grafo marcado mostra vértices de cores diferentes representando estados diferentes no sistema.
2. In Petri nets and formal models, a graph where tokens or markers are placed on nodes to represent state or resource distribution
A marked graph in the Petri net model indicates the current distribution of tokens across places.
Um grafo marcado no modelo de Rede de Petri indica a distribuição atual de tokens entre os lugares.