## 抄録

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

- 工学（全般）