Abstract
NonMarkovian stochastic Petri nets (SPN) have received special attention due to their functionality in reflecting nonexponential dynamic behavior encountered in modeling and analysis of real systems. In this paper, a novel analysis approach, based on phase-type approximation, is proposed to provide transient and steady-state probabilities and determine performance measures of these nonMarkovian SPN. The approach can accommodate a wide variety of nonexponential distributions and provide a stronger mechanism than other methods proposed to date for analyzing system performance. The proposed procedure primarily consists of three steps. First, all generally distributed transitions are fitted with phase-type transitions. Next, the nonMarkovian SPN with the approximated phase-type transitions is converted into a Markov chain. Last, transient-state probabilities are obtained by employing the uniformization method and steady-state probabilities are determined by utilizing the preconditioned biconjugate gradient method. Pertinent performance measures can be computed by using these probabilities. The proposed methodology is validated through a real example with respect to its accuracy and speed.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
