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)