Petri net modelling of buffers in automated manufacturing systems

  title={Petri net modelling of buffers in automated manufacturing systems},
  author={Mengchu Zhou and Frank DiCesare},
  journal={IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society},
  volume={26 1},
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… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 17 extracted citations

Generalized State Classes of Time Petri Nets for Timeliness Analysis

D IANXIANG, Jordan Ang, xudian Dianxiang Xu
View 8 Excerpts
Highly Influenced


Publications referenced by this paper.
Showing 1-10 of 15 references

Petri Nets in Flexible and Agile Automation

M. C. Zhou, Ed
Norwell, MA: Kluwer, • 1995

Modular transformation methods for generalized Petri nets and their applications in manufacturing automation

J. Favrel
IEEE Trans . Syst . , Man , Cybern . • 1991

Similar Papers

Loading similar papers…