کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10523575 956780 2005 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Modelling of batch production systems using Petri nets with dynamic tokens
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی کنترل و سیستم های مهندسی
پیش نمایش صفحه اول مقاله
Modelling of batch production systems using Petri nets with dynamic tokens
چکیده انگلیسی
This article deals with the qualitative modelling of batch production plants. The approach held is Petri net based. First a definition of a three-level net formalism is presented; the formalism extends the Valk's approach of nets in nets in which the tokens are other nets; in this extension the lower level net handles symbolic tokens. Then a methodology for the modelling of batch processes is proposed; in this methodology the upper level describes the plant layout, the next level models an entity that goes with the batch through the plant and specifies the material and the process routes that the batch must follow, and the third level represents detailed treatments to perform into the process cells using specific equipment. The use of the modelling formalism is illustrated through an example dealing with the coordination of a batch manufacturing system.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Mathematics and Computers in Simulation - Volume 67, Issue 6, 3 January 2005, Pages 541-558
نویسندگان
, , ,