مدل سازی زمانبندی فروشگاه کار با دسته ها و زمان های تنظیم توسط شبکه های پتری همزمان

زمان‌های دسته‌ای و راه‌اندازی دو عامل مهم در زمانبندی عملی کار کارگاهی هستند. این مقاله روشی را برای مدل کردن مسایل زمان‌بندی کار کارگاهی از جمله بچ ها و زمان‌های راه‌اندازی وابسته به توالی پیش‌بینی توسط شبکه‌های پتری زمانی پیشنهاد می‌کند. روش مدل‌سازی عمومی به طور رسمی ارائه شده‌است. ویژگی انتخاب آزاد مدل ثابت شده‌است. مطالعه موردی استخراج‌شده از برنامه‌ریزی عملی برای نشان دادن امکان‌سنجی روش مدل‌سازی ارائه شده‌است. مقایسه با برخی کارهای قبلی نشان می‌دهد که مدل ما در پیدا کردن بهترین راه‌حل فشرده‌تر و موثرتر است.

Batch and setup times are two important factors in practical job shop scheduling. This paper proposes a method to model job shop scheduling problems including batches and anticipatory sequence-dependent setup times by timed Petri nets. The general modeling method is formally presented. The free choice property of the model is proved. A case study extracted from practical scheduling is given to show the feasibility of the modeling method. Comparison with some previous work shows that our model is more compact and effective in finding the best solution.