Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions

The time domain analysis of non-Markovian stochastic Petri nets with pre-emptive repeat identical (PRI) type transitions is considered in this paper. The set of "time domain" equations describing the evolution of the marking process is provided. The relation of the time domain and formerly available transform domain description is discussed. Based on the time domain description of the process, a simple numerical procedure is provided to analyze the transient behavior. Two examples are calculated to illustrate the proposed numerical method.

[1]  Kishor S. Trivedi,et al.  Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[2]  Kishor S. Trivedi,et al.  A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue , 1987, Inf. Process. Lett..

[3]  Miklós Telek,et al.  Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[4]  Reinhard German,et al.  Analysis of Stochastic Petri Nets by the Method of Supplementary Variables , 1994, Perform. Evaluation.

[5]  Reinhard German,et al.  Performance analysis of communication systems - modelling with non-Markovian stochastic Petri nets , 2000, Wiley-Interscience series in systems and optimization.

[6]  Hoon Choi,et al.  Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.

[7]  Antonio Puliafito,et al.  A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs , 2000, IEEE Trans. Software Eng..

[8]  Reinhard German,et al.  A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[9]  Hoon Choi,et al.  Performance evaluation: Erratum to “Markov regenerative stochastic Petri nets” [20 (1994) 337–357] , 1995 .

[10]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[11]  D. Cox.  The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[12]  Antonio Puliafito,et al.  Analysis and Evaluation of Non-Markovian Stochastic Petri Nets , 2000, Computer Performance Evaluation / TOOLS.

[13]  Andrea Bobbio,et al.  Markov regenerative SPN with non-overlapping activity cycles , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[14]  Kishor S. Trivedi,et al.  Steady State Analysis of Markov Regenerative SPN with Age Memory Policy , 1995, MMB.

[15]  Reinhard German,et al.  New results for the analysis of deterministic and stochastic Petri nets , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[16]  Miklós Telek,et al.  Transient analysis of Age-MRSPNs by the method of supplementary variables , 2001, Perform. Evaluation.

[17]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.