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

An Efficient Computing of the First Passage Time in an Extended Stochastic Petri Net Uma computação eficiente do primeiro tempo de passagem em uma rede de Petri estocástica estendida

Hong-ju MOON, Wook Hyun KWON

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Este artigo apresenta um método eficiente para derivar o primeiro tempo de passagem de uma rede de Petri estocástica estendida por meio de operações algébricas simples. O gráfico de alcançabilidade é derivado de uma rede de Petri estocástica estendida e depois convertido em uma máquina de estado estocástica cronometrada que é um processo semi-Markov. A média e a variância do primeiro tempo de passagem são derivadas por manipulações algébricas com a média e a variância do tempo de transição e a probabilidade de transição para cada transição no modelo da máquina de estados. Para a derivação, três regras de redução são introduzidas nas trajetórias de transição em uma expressão regular bem formada. Um algoritmo eficiente é fornecido para automatizar o método sugerido.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.6 pp.1267-1276
Data de publicação
2000/06/25
Publicitada
ISSN online
DOI
Tipo de Manuscrito
PAPER
Categoria
Sistemas Simultâneos

autores

Palavra-chave