Petri net construction and analysis of automated sequential manufacturing systems

Wern Kueir Jehng; Shih Sen Peng; Meng Chu Zhou

doi:10.1109/ICSMC.2001.972928

Petri net construction and analysis of automated sequential manufacturing systems

Wern Kueir Jehng, Shih Sen Peng, Meng Chu Zhou

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

Abstract

This paper develops and evaluates an automated process sequential manufacturing system using stochastic Petri nets (SPN) theory. The proposed Petri net-based graphic model is used to generate a reachability tree. The tree is, in turn, converted to a state table representation of a Markov process model to investigate the model for liveness, boundedness, reversibility, and performance. Other important characteristics of a dynamic system, such as conflict, blocking, and deadlock can also be examined. Different configurations of an automated system are studied by SPN models to design an improved system.

Original language	English (US)
Pages (from-to)	2469-2474
Number of pages	6
Journal	Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume	4
DOIs	https://doi.org/10.1109/ICSMC.2001.972928
State	Published - 2001

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Hardware and Architecture

Keywords

Automated manufacturing systems (AMS)
Markov process
Stochastic petri nets (SPN)

Access to Document

10.1109/ICSMC.2001.972928

Cite this

@article{ae6eacd2654641058f278f070bd2904b,

title = "Petri net construction and analysis of automated sequential manufacturing systems",

abstract = "This paper develops and evaluates an automated process sequential manufacturing system using stochastic Petri nets (SPN) theory. The proposed Petri net-based graphic model is used to generate a reachability tree. The tree is, in turn, converted to a state table representation of a Markov process model to investigate the model for liveness, boundedness, reversibility, and performance. Other important characteristics of a dynamic system, such as conflict, blocking, and deadlock can also be examined. Different configurations of an automated system are studied by SPN models to design an improved system.",

keywords = "Automated manufacturing systems (AMS), Markov process, Stochastic petri nets (SPN)",

author = "Jehng, {Wern Kueir} and Peng, {Shih Sen} and Zhou, {Meng Chu}",

year = "2001",

doi = "10.1109/ICSMC.2001.972928",

language = "English (US)",

volume = "4",

pages = "2469--2474",

journal = "Proceedings of the IEEE International Conference on Systems, Man and Cybernetics",

issn = "0884-3627",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Petri net construction and analysis of automated sequential manufacturing systems

AU - Jehng, Wern Kueir

AU - Peng, Shih Sen

AU - Zhou, Meng Chu

PY - 2001

Y1 - 2001

N2 - This paper develops and evaluates an automated process sequential manufacturing system using stochastic Petri nets (SPN) theory. The proposed Petri net-based graphic model is used to generate a reachability tree. The tree is, in turn, converted to a state table representation of a Markov process model to investigate the model for liveness, boundedness, reversibility, and performance. Other important characteristics of a dynamic system, such as conflict, blocking, and deadlock can also be examined. Different configurations of an automated system are studied by SPN models to design an improved system.

AB - This paper develops and evaluates an automated process sequential manufacturing system using stochastic Petri nets (SPN) theory. The proposed Petri net-based graphic model is used to generate a reachability tree. The tree is, in turn, converted to a state table representation of a Markov process model to investigate the model for liveness, boundedness, reversibility, and performance. Other important characteristics of a dynamic system, such as conflict, blocking, and deadlock can also be examined. Different configurations of an automated system are studied by SPN models to design an improved system.

KW - Automated manufacturing systems (AMS)

KW - Markov process

KW - Stochastic petri nets (SPN)

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

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

U2 - 10.1109/ICSMC.2001.972928

DO - 10.1109/ICSMC.2001.972928

M3 - Article

AN - SCOPUS:0035719759

SN - 0884-3627

VL - 4

SP - 2469

EP - 2474

JO - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

JF - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

ER -

Petri net construction and analysis of automated sequential manufacturing systems

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this