抄録
A Non-Generative Stochastic Petri Net (NRSPN) is developed by defining its marking process in terms of a general state space of a Markov Renewal Process (MRP) and introducing new notations for the NRSPN. In order to analyze probabilistic properties of reliable systems, a unique modification of the conventional MRP, in which all states are regeneration points, is made. The NRSPN model allows firing times with arbitrary distribution; thus it can model and analyze system states that include some non-generative points. Moreover, the probabilistic behavior of a system can be clarified with the numerical measures of the first-passage time distributions, the renewal function, and the transition probabilities.
| 本文言語 | English |
|---|---|
| ページ | 399-406 |
| ページ数 | 8 |
| 出版ステータス | Published - 1995 12月 1 |
| 外部発表 | はい |
| イベント | Proceedings of the 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. Part 3 (of 3) - Paris, Fr 継続期間: 1995 10月 10 → 1995 10月 13 |
Other
| Other | Proceedings of the 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. Part 3 (of 3) |
|---|---|
| City | Paris, Fr |
| Period | 95/10/10 → 95/10/13 |
ASJC Scopus subject areas
- 工学（全般）