Phase-type approximation of stochastic petri nets for analysis of manufacturing systems

Shang Tae Yee, Jose Antonio Ventura

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

Non-Markovian stochastic Petri nets (SPN's) have received special attention due to their functionality in reflecting nonexponential dynamic behavior encountered in modeling and analysis of real systems. In the 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 non-Markovian SPN's. 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 non-Markovian 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.

Original languageEnglish (US)
Pages (from-to)318-322
Number of pages5
JournalIEEE Transactions on Robotics and Automation
Volume16
Issue number3
DOIs
StatePublished - Jun 1 2000

Fingerprint

Petri nets
Gradient methods
Markov processes

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this

@article{c2622d15879b4ca6bde7ab83d8507f58,
title = "Phase-type approximation of stochastic petri nets for analysis of manufacturing systems",
abstract = "Non-Markovian stochastic Petri nets (SPN's) have received special attention due to their functionality in reflecting nonexponential dynamic behavior encountered in modeling and analysis of real systems. In the 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 non-Markovian SPN's. 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 non-Markovian 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.",
author = "Yee, {Shang Tae} and Ventura, {Jose Antonio}",
year = "2000",
month = "6",
day = "1",
doi = "10.1109/70.850650",
language = "English (US)",
volume = "16",
pages = "318--322",
journal = "IEEE Transactions on Robotics and Automation",
issn = "1042-296X",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "3",

}

Phase-type approximation of stochastic petri nets for analysis of manufacturing systems. / Yee, Shang Tae; Ventura, Jose Antonio.

In: IEEE Transactions on Robotics and Automation, Vol. 16, No. 3, 01.06.2000, p. 318-322.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Phase-type approximation of stochastic petri nets for analysis of manufacturing systems

AU - Yee, Shang Tae

AU - Ventura, Jose Antonio

PY - 2000/6/1

Y1 - 2000/6/1

N2 - Non-Markovian stochastic Petri nets (SPN's) have received special attention due to their functionality in reflecting nonexponential dynamic behavior encountered in modeling and analysis of real systems. In the 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 non-Markovian SPN's. 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 non-Markovian 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.

AB - Non-Markovian stochastic Petri nets (SPN's) have received special attention due to their functionality in reflecting nonexponential dynamic behavior encountered in modeling and analysis of real systems. In the 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 non-Markovian SPN's. 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 non-Markovian 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.

UR - http://www.scopus.com/inward/record.url?scp=0034205640&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034205640&partnerID=8YFLogxK

U2 - 10.1109/70.850650

DO - 10.1109/70.850650

M3 - Article

VL - 16

SP - 318

EP - 322

JO - IEEE Transactions on Robotics and Automation

JF - IEEE Transactions on Robotics and Automation

SN - 1042-296X

IS - 3

ER -