Petri net modeling of buffers in automated manufacturing systems

Meng Chu Zhou, Frank DiCesare

Research output: Contribution to journalArticlepeer-review

27 Scopus citations


This paper presents Petri net models of buffers and a methodology by which buffers can be included in a system without introducing deadlocks or overflows. The context is automated manufacturing. The buffers and models are classified as random order or order preserved (first-in-first-out or last-in-first-out), single-input-single-output or multiple-input-multiple-output, part type and/or space distinguishable or indistinguishable, and bounded or safe. Theoretical results for the development of Petri net models which include buffer modules are developed. This theory provides the conditions under which the system properties of boundedness, liveness, and reversibility are preserved. The results are illustrated through two manufacturing system examples: a multiple machine and multiple buffer production line and an Automatic Storage and Retrieval System in the context of flexible manufacturing.

Original languageEnglish (US)
Pages (from-to)157-164
Number of pages8
JournalIEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Issue number1
StatePublished - 1996

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Software
  • Information Systems
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering


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

Cite this