Calculo da Capacidade de Códigos com Restrições Bi-Dimensionais Usando Redes de Petri

"Neste artigo é apresentado um procedimento que faz uso de redes de Petri para o cálculo da capacidade de códigos com restrições bi-dimensionais usados para gravação de múltiplas trilhas em paralelo em meios ópticos e magnéticos. A utilização de redes de Petri sistematiza a representação das restrições impostas às seqüências em cada trilha e no conjunto das trilhas simultaneamente. A capacidade do código é calculada a partir da matriz de adjacência da árvore de alcançabilidade da rede de Petri. Uma característica importante do procedimento apresentado é que os modelos podem ser adaptados para introdução (ou supressão) de restrições."