Petri net unfoldings
पेट्री जाल का विश्लेषण या तो पहुँच योग्य राज्य स्थानों (या पहुँच योग्य चिह्नों) के निर्माण के माध्यम से या ग्राफ-आधारित अनफोल्डिंग की प्रक्रिया के माध्यम से किया जा सकता है। पेट्री नेट अनफोल्डिंग का उपसर्ग, जो एक चक्रीय पेट्री नेट ग्राफ है, में पेट्री नेट के गुणों के बारे में वही जानकारी होती है जो पहुंच ग्राफ के रूप में होती है, साथ ही इसमें पेट्री नेट संक्रमण और पेट्री नेट स्थानों के बीच अनुक्रम, समरूपता और संघर्ष संबंधों के बारे में जानकारी होती है। व्यवहार में अनफोल्डिंग के उपयोग के लाभ आमतौर पर इस तथ्य से जुड़े होते हैं कि अनफोल्डिंग उपसर्ग का विश्लेषण किए जा रहे पेट्री नेट के पहुंच ग्राफ की तुलना में बहुत अधिक कॉम्पैक्ट होता है। पेट्री नेट अनफोल्डिंग को मूल रूप से केन मैकमिलन द्वारा पेश किया गया था। बाद में उनका अध्ययन कई लेखकों द्वारा किया गया, जिन्होंने इसकी सघनता और इसलिए कुशल विश्लेषण के संदर्भ में अनफोल्डिंग के उपसर्ग के उत्पादन के लिए मूल मानदंड में सुधार किया। समवर्ती प्रणालियों और अतुल्यकालिक परिपथों के विश्लेषण और संश्लेषण में पेट्री नेट अनफोल्डिंग के अनुप्रयोग हैं। उत्तरार्द्ध आमतौर पर सिग्नल ट्रांजिशन ग्राफ (एसटीजी) के उपयोग के माध्यम से प्राप्त किया जाता है। संदर्भ आगे पढ़ने के लिए पेट्री नेट वर्ल्ड वेबसाइट, https://www2.informatik.uni-hamburg.de/TGI/PetriNets/index.php न्यूकैसल यूनिवर्सिटी एसिंक्रोनस डिज़ाइन वेबसाइट http://async.org.uk ऑटोमेटा (गणना)