## Abstract

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.

Original language | English |
---|---|

Pages | 399-406 |

Number of pages | 8 |

Publication status | Published - 1995 Dec 1 |

Externally published | Yes |

Event | Proceedings of the 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. Part 3 (of 3) - Paris, Fr Duration: 1995 Oct 10 → 1995 Oct 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

- Engineering(all)