검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

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 확장된 확률론적 페트리 넷에서 첫 번째 통과 시간의 효율적인 계산

Hong-ju MOON, Wook Hyun KWON

  • 조회수

    0

  • 이것을 인용

요약 :

본 논문은 간단한 대수적 연산을 통해 확장된 확률론적 페트리 넷의 첫 번째 통과 시간을 도출하는 효율적인 방법을 제시합니다. 도달가능성 그래프는 확장된 확률론적 페트리 넷에서 파생된 후 세미 마르코프 프로세스인 시간 제한 확률론적 상태 기계로 변환됩니다. 첫 번째 통과 시간의 평균과 분산은 상태 기계 모델의 각 전환에 대한 전환 시간의 평균과 분산, 전환 확률을 사용하여 대수적 조작을 통해 파생됩니다. 파생을 위해 잘 구성된 정규식의 전환 궤적에 세 가지 축소 규칙이 도입됩니다. 제안된 방법을 자동화하기 위한 효율적인 알고리즘을 제공합니다.

발행
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.6 pp.1267-1276
발행일
2000/06/25
공개일
온라인 ISSN
DOI
원고의 종류
PAPER
범주
동시 시스템

작성자

키워드