2024-03-28T22:36:56Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000243752023-04-27T10:00:04Z01164:01579:01680:01681
線形システム解析を利用したStochastic Petri Netsの分割解析手法A transient analysis method of Stochastic Petri Nets based on linear system analysisjpnhttp://id.nii.ac.jp/1001/00024375/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=24375&item_no=1&attribute_id=1&file_no=1Copyright (c) 1992 by the Information Processing Society of Japan慶應義塾大学理工学部慶應義塾大学理工学部慶應義塾大学理工学部國松, 敦山本, 欧天野, 英晴Stochastic Petri Netsの過渡解析手法を示し、その分割解析手法を提案する。この方法では、Stochastic Petri Netsを展開して得たContinous?time Markov chainsの生成行列を対角化することにより、線形微分方程式の解式を導出する。さらにその計算コストを削減するために、線形システム解析に基づきStochastic Petri Netsを分割して解析する。Stochastic Petri Netsで記述されたマルチプロセッサシステムを例にとり、計算時間の比較により、分割解析手法の有効性を明らかにした。A novel transient analysis method of stochastic Petri Nets (SPN) in proposed. In this method, an infinitesimal generator of the Continuous-time Markov chains derived from SPN is diagonalized to solve linear differential equations representing the transient state. In order to reduce the computation time, the target SPN is divided into small subnets by using a method from linear system analysis. A simple multiprocessor system represented with SPN is analyzed with the proposed method, and the computation time is evaluated.AN10096105情報処理学会研究報告計算機アーキテクチャ(ARC)199297(1992-ARC-097)25321992-12-032009-06-30