Modeling buffers in automated manufacturing systems using Petri nets

Chu Zhou Meng, Frank DiCesare

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Abstract

Petri net design approaches for automated manufacturing systems are discussed, with emphasis on modular design methods for buffers. The simple Petri net module for a buffer is extended to a module for a generalized buffer which can be shared and which can accommodate a number of distinct types of parts. Theoretical results about the preservation of system properties such as boundedness, liveness, and reversibility are presented for when a Petri net contains such buffer modules. Two theorems provide certain conditions to achieve such property preservation. Safe Petri net modules for a buffer are designed using safe places only. The results are illustrated by two manufacturing examples: a multiple-machine and multiple-buffer production line, and an automatic storage-retrieval system in a flexible manufacturing system.

Original languageEnglish (US)
Title of host publicationProc Rensselaer 2 Int Conf Comput Integr Manuf
PublisherPubl by IEEE
Pages265-272
Number of pages8
ISBN (Print)081861966X
StatePublished - Dec 1 1990
Externally publishedYes
EventProceedings of the Rensselaer's 2nd International Conference on Computer Integrated Manufacturing - Troy, NY, USA
Duration: May 21 1990May 23 1990

Publication series

NameProc Rensselaer 2 Int Conf Comput Integr Manuf

Other

OtherProceedings of the Rensselaer's 2nd International Conference on Computer Integrated Manufacturing
CityTroy, NY, USA
Period5/21/905/23/90

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint

Dive into the research topics of 'Modeling buffers in automated manufacturing systems using Petri nets'. Together they form a unique fingerprint.

Cite this