एक पेट्री नेट-आधारित डिस्क्रीट-इवेंट नियंत्रण स्वचालित निर्माण प्रणालियों के लिए असेंबली ऑपरेशनों के साथ

स्वचालित निर्माण प्रणालियों (AMSs) के संदर्भ में, पेट्री नेट्स मॉडलिंग, विश्लेषण और नियंत्रण समस्याओं को हल करने के लिए व्यापक रूप से अपनाए जाते हैं। अब तक, लगभग सभी ज्ञात दृष्टिकोण जीवित-बल देने वाले पर्यवेक्षक नियंत्रण के अध्ययन में AMSs को लचीले मार्गों के साथ देखते हैं, जबकि समन्वयित कार्यों वाले AMSs पर बहुत कम काम किया गया है। लचीलापन की तुलना में, समन्वयित संचालन उन असेंबली और असेंबली कार्यों की अनुमति देता है जो विभिन्न उप-प्रक्रियाओं से अलग और मिलन करने से संबंधित होते हैं। ऐसी संरचनाएँ AMSs के पेट्री नेट मॉडल की जीवंतता की स्थिति स्थापित करने में कठिनाइयाँ लाती हैं। इस पेपर में, हम प्रणालियों का एक नया वर्ग प्रस्तावित करते हैं, जो इन विशेषताओं के साथ अच्छी तरह से निपटने के लिए सक्षम हैं ताकि ऐसे जटिल सिस्टम की जांच को सुविधाजनक बनाया जा सके। संरचनात्मक विश्लेषण का उपयोग करते हुए, हम दिखाते हैं कि उनकी जीवंतता कर्फ़्यू पूर्वकता पर आधारित होती है, जिसे एक उचित पर्यवेक्षक नियंत्रक बनाकर विश्लेषण, पहचान और नियंत्रित करना बहुत आसान होता है। इसके अलावा, संबंधित मृतलॉक का वर्णन करने और निकालने के लिए एक सेट गणितीय सूत्रों का प्रस्तावित किया गया है। यह जीवंतता बल देने वाले पर्यवेक्षकों के संश्लेषण को सुविधाजनक बनाता है क्योंकि यह मृतलॉक-मुक्त लेकिन अशांत परिदृश्यों पर विचार करने से बचता है। इस नए तरीके की प्रभावशीलता और दक्षता AMS उदाहरणों द्वारा दिखाई गई है।