GRAFCET की मूल बातें
GRAFCET (IEC 60848) किसी सीक्वेंशियल सिस्टम — मशीन, प्रोसेस, ट्रैफ़िक लाइट — के व्यवहार को ट्रांज़िशन से जुड़े स्टेप की एक श्रृंखला के रूप में बताता है। यह PLC की SFC भाषा (IEC 61131-3) के पीछे की स्पेसिफ़िकेशन भाषा है।
स्टेप
स्टेप सिस्टम की एक स्थिर स्थिति है: प्रतीक्षा, भरना, ड्रिलिंग। इसे नंबर वाले वर्ग के रूप में बनाया जाता है। किसी भी क्षण स्टेप या तो सक्रिय होता है या निष्क्रिय; सक्रिय स्टेप का समूह grafcet की स्थिति है।
- प्रारंभिक स्टेप (डबल वर्ग) सिस्टम शुरू होने पर सक्रिय होता है। grafcet में कम से कम एक होना चाहिए।
- स्टेप 3 सक्रिय रहने तक वेरिएबल
X3सत्य रहता है। आप इसे रिसेप्टिविटी और कंडीशन में उपयोग कर सकते हैं।
ट्रांज़िशन और रिसेप्टिविटी
ट्रांज़िशन (छोटी क्षैतिज बार) स्टेप को जोड़ता है। उसके बगल में लिखी उसकी रिसेप्टिविटी आगे बढ़ने की कंडीशन है: एक इनपुट (start), एक संयोजन (start * /door), एक एज (↑b), एक टाइमर (5s/X2) या एक तुलना (level >= 80)। रिसेप्टिविटी 1 हमेशा सत्य होती है।
- ट्रांज़िशन तब सक्षम होता है जब उसके ठीक ऊपर के सभी स्टेप सक्रिय हों।
- सक्षम ट्रांज़िशन जैसे ही उसकी रिसेप्टिविटी सत्य होती है, क्लियर होता है (पार किया जाता है)।
एक्शन
स्टेप के दाईं ओर के आयत उसके एक्शन हैं: स्टेप सक्रिय रहते हुए सिस्टम क्या करता है, जैसे पंप चलाना। कंटीन्यूअस एक्शन एक आउटपुट का नाम होता है जो स्टेप सक्रिय रहने तक सत्य रहता है। स्टोर्ड एक्शन किसी मान को एक बार बदलते हैं, जब कोई स्टेप सक्रिय या निष्क्रिय होता है या कोई इवेंट होता है। देखें एक्शन।
विकास के पाँच नियम
IEC 60848 के ये नियम तय करते हैं कि grafcet का विकास कैसे होता है। सिम्युलेटर इन्हें ठीक-ठीक लागू करता है।
- प्रारंभिक स्थिति: शुरुआत में प्रारंभिक स्टेप सक्रिय होते हैं।
- क्लियर होने की कंडीशन: ट्रांज़िशन तब क्लियर होता है जब वह सक्षम हो और उसकी रिसेप्टिविटी सत्य हो।
- क्लियर होना: ट्रांज़िशन क्लियर होने पर उसके ठीक नीचे के सभी स्टेप सक्रिय और ठीक ऊपर के सभी स्टेप निष्क्रिय हो जाते हैं।
- एक साथ क्लियर होना: जो ट्रांज़िशन एक ही समय पर क्लियर हो सकते हैं, वे सभी एक ही समय पर क्लियर होते हैं।
- एक साथ सक्रिय और निष्क्रिय: जो स्टेप एक ही समय पर सक्रिय और निष्क्रिय किया जाता है, वह सक्रिय रहता है।
इनपुट बदलने के बाद नियम तब तक बार-बार लागू किए जाते हैं जब तक कोई ट्रांज़िशन क्लियर न हो सके: यही स्थिरता की खोज है। जो स्टेप इस खोज के दौरान सक्रिय होकर फिर छोड़ दिए जाते हैं, वे अस्थिर (क्षणिक) स्टेप हैं: उनके कंटीन्यूअस एक्शन नहीं चलते, लेकिन उनके स्टोर्ड एक्शन चलते हैं।
रास्तों में से चुनना: OR
जब किसी स्टेप के बाद कई ट्रांज़िशन हों, तो grafcet वह रास्ता लेता है जिसकी रिसेप्टिविटी सत्य है: यह वैकल्पिक शाखा है, जिसे एक सिंगल क्षैतिज लाइन (OR डाइवर्जेंस) से बनाया जाता है। रास्ते फिर एक सिंगल लाइन (OR कन्वर्जेंस) पर मिलते हैं।
रिसेप्टिविटी को परस्पर अनन्य बनाएँ (वे कभी एक साथ सत्य न हों), यहाँ a और /a * b। वरना दोनों रास्ते एक साथ ले लिए जाएँगे। जब GrafcetMaker यह साबित नहीं कर पाता कि वैकल्पिक रिसेप्टिविटी परस्पर अनन्य हैं, तो वह आपको चेतावनी देता है और एक शाखा को प्राथमिकता देने का विकल्प देता है।
एक साथ कई काम करना: AND
जब किसी ट्रांज़िशन के बाद कई स्टेप हों, तो वे सभी एक साथ सक्रिय होते हैं: ये समानांतर शाखाएँ हैं, जिन्हें डबल लाइन (AND डाइवर्जेंस) से बनाया जाता है। शाखाएँ भी एक डबल लाइन (AND कन्वर्जेंस) पर ख़त्म होती हैं: उसके नीचे का ट्रांज़िशन तभी सक्षम होता है जब हर शाखा का अंतिम स्टेप सक्रिय हो, इसलिए वह सभी शाखाओं के पूरा होने की प्रतीक्षा करता है।
लूप
ऊपर की ओर जाने वाला लिंक, जो तीर के साथ बनाया जाता है, किसी पिछले स्टेप पर लौटता है: साइकिल दोहराने का यही सामान्य तरीका है। किसी स्टेप पर L दबाएँ, फिर उस स्टेप पर क्लिक करें जिस पर लौटना है।
बड़े एप्लिकेशन
- एक प्रोजेक्ट में कई आंशिक grafcet हो सकते हैं जो एक साथ चलते हैं, जैसे एक साइकिल के लिए और एक सुरक्षा के लिए। वे
Xnके ज़रिए एक-दूसरे के स्टेप देखते हैं। - मैक्रो-स्टेप एक विस्तृत सीक्वेंस को दर्शाता है जो अपनी अलग शीट पर बना होता है: उसका एक्सपैंशन।
- एनक्लोज़िंग स्टेप में एक पूरा grafcet होता है जो केवल उसके सक्रिय रहने तक चलता है।
- फ़ोर्सिंग ऑर्डर किसी दूसरे grafcet पर एक स्थिति लागू करता है, जैसे आपातकालीन स्टॉप।
देखें मैक्रो-स्टेप, एनक्लोज़िंग स्टेप और फ़ोर्सिंग।
और जानें
- रिसेप्टिविटी लिखना — पूरा एक्सप्रेशन सिंटैक्स।
- शब्दावली — हर मानक शब्द एक जगह।
- GrafcetMaker में हर नियम की सटीक व्याख्या सोर्स रिपॉज़िटरी के
docs/semantics.mdमें दर्ज है।