| タイトル | On the Use of Kronecker Operators for the Solution of Generalized Stochastic Petri Nets |
| 本文（外部サイト） | http://hdl.handle.net/2060/20040110963 |
| 著者（英） | Tilgner, Marco; Ciardo, Gianfranco |
| 著者所属（英） | College of William and Mary |
| 発行日 | 1996-01-01 |
| 言語 | eng |
| 内容記述 | We discuss how to describe the Markov chain underlying a generalized stochastic Petri net using Kronecker operators on smaller matrices. We extend previous approaches by allowing both an extensive type of marking-dependent behavior for the transitions and the presence of immediate synchronizations. The derivation of the results is thoroughly formalized, including the use of Kronecker operators in the treatment of the vanishing markings and the computation of impulse-based reward measures. We use our techniques to analyze a model whose solution using conventional methods would fail because of the state-space explosion. In the conclusion, we point out ideas to parallelize our approach. |
| NASA分類 | Numerical Analysis |
| 権利 | Copyright, Distribution as joint owner in the copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/88069 |
