چکیده فارسی :

با افزایش محبوبیت فعالیت‌های دینامیکی پیچیده در فرایندهای تولید، قابلیت ردیابی کل عمر هر محصول، توجه بسیاری را علی‌الخصوص برای غذا، مواد بالینی و آیتم‌های مشابه جلب کرده است. این مقاله به مطالعه‌ی مساله‌ی قابلیت مسیریابی در سیستم‌های تولیدی سایبر-فیزیکی از یک چشم‌انداز نظری می‌پردازد. مدل‌های شبکه‌ی پتری (پتری نت) برای فرمول‌بندی فرایندهای تولید پویا، که رویکرد دقیقی بر اساس آن‌ها برای فراهم کردن امکان تجزیه و تحلیل مسیریابی ارائه می‌شود تعمیم می‌یابند. مدل‌ها و همچنین الگوریتم‌ها به طور دقیق طراحی می‌شوند که می‌توانند چرخه‌ی عمر یک محصول احتمالا آلوده را ردیابی کنند. یک سیستم نمونه اولیه‌ی عملی برای پشتیبانی قابلیت ردیابی طراحی می‌شود و یک مطالعه‌ی موردی  عمر-واقعی سیستم کنترل کیفی برای محصولات زنبور عسل به منظور معتبر ساختن کارایی رویکرد ارائه می‌شود.

کلمات کلیدی: قابلیت ردیابی، شبکه‌ی پتری، سیستم‌های تولید سایبر-فیزیکی، کنترل کیفی محصول.

چکیده انگلیسی:

With the growing popularity of complex dynamic activities in manufacturing processes, traceability of the entire life of every product has drawn significant attention especially for food, clinical materials, and similar items. This paper studies the traceability issue in cyber-physical manufacturing systems from a theoretical viewpoint. Petri net models are generalized for formulating dynamic manufacturing processes, based on which a detailed approach for enabling traceability analysis is presented. Models as well as algorithms are carefully designed, which can trace back the lifecycle of a possibly contaminated item. A practical prototype system for supporting traceability is designed, and a real-life case study of a quality control system for bee products is presented to validate the effectiveness of the approach.
Keywords: traceability; Petri net; cyber-physical manufacturing systems; product quality control