A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Turing Machine Equivalence of Time Asymmetric Choice Nets Equivalência da máquina de Turing de redes de escolha assimétricas no tempo

Atsushi OHTA, Kohkichi TSUJI

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

A rede de Petri é um modelo matemático para sistemas concorrentes. Sabe-se que a rede de Petri tem menos poder de modelagem do que a máquina de Turing. A falta de capacidade de teste zero é a principal razão deste fato. Na verdade, todo modelo de rede de Petri estendido que pode realizar zero testes é equivalente à máquina de Turing. A rede Time Petri é um dos modelos com capacidade de teste zero. É de interesse teórico qual estrutura permite teste zero. Este artigo mostra que a rede de escolha assimétrica no tempo pode simular máquinas de registro. O resultado implica que o problema de alcançabilidade desta subclasse de tempo da rede de Petri é indecidível.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.11 pp.2278-2281
Data de publicação
2000/11/25
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section LETTER (Special Section on Concurrent Systems Technology)
Categoria

autores

Palavra-chave