Petri net construction and analysis of automated sequential manufacturing systems

Document Type

Article

Publication Date

1-1-2001

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.

Identifier

0035719759 (Scopus)

Publication Title

Proceedings of the IEEE International Conference on Systems Man and Cybernetics

External Full Text Location

https://doi.org/10.1109/ICSMC.2001.972928

ISSN

08843627

First Page

2469

Last Page

2474

Volume

4

This document is currently not available here.

Share

COinS