Time domain analysis of NMSPN with PRI transitions

The time domain analysis of non-Markovian stochastic Petri nets (NMSPNs) with preemptive 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 the 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]  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.

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

[3]  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.

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

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

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

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

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

[9]  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.

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

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

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

[13]  Miklós Telek,et al.  Combined Preemption Policies in MRSPN , 1995 .

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