Token-based replay
टोकन-आधारित रीप्ले तकनीक एक अनुरूपता जाँच एल्गोरिथ्म है जो यह जांचता है कि मॉडल पर प्रत्येक निशान को फिर से चलाकर (पेट्री नेट संकेतन में) एक प्रक्रिया अपने मॉडल के साथ कितनी अच्छी तरह से अनुरूप है। उत्पादित टोकन, उपभोग किए गए टोकन, लापता टोकन और शेष टोकन के चार काउंटरों का उपयोग करके, यह उन स्थितियों को रिकॉर्ड करता है जहां एक संक्रमण को फायर करने के लिए मजबूर किया जाता है और रिप्ले समाप्त होने के बाद शेष टोकन। प्रत्येक काउंटर पर गिनती के आधार पर, हम निशान और मॉडल के बीच फिटनेस मूल्य की गणना कर सकते हैं। एल्गोरिथ्म टोकन-रीप्ले तकनीक रीप्ले के दौरान एक निशान का ट्रैक रखने के लिए चार काउंटरों का उपयोग करती हैः उत्पादित टोकनः उपभोग किए गए टोकनः लापता टोकन (वहाँ नहीं होने पर उपभोग किया जाता है): शेष टोकन (उत्पादित लेकिन उपभोग नहीं किया जाता है) अपरिवर्तनीयः किसी भी समयः अंत मेंः शुरुआत में, स्रोत स्थान (पी = 1) के लिए एक टोकन का उत्पादन किया जाता है और अंत में, सिंक स्थान (सी '= सी + 1) से एक टोकन का सेवन किया जाता है। जब रीप्ले समाप्त होता है, तो फिटनेस मूल्य की गणना निम्नानुसार की जा सकती हैः उदाहरण मान लीजिए कि पेट्री नेट संकेतन में एक प्रक्रिया मॉडल निम्नानुसार हैः उदाहरण 1: मॉडल एम पर ट्रेस () को रीप्ले करें चरण 1: एक टोकन शुरू किया जाता है। एक उत्पादित टोकन () है। चरण 2: गतिविधि 1 टोकन की खपत करती है और 2 टोकन (और) का उत्पादन करती है। चरण 3: गतिविधि 1 टोकन की खपत करती है और 1 टोकन (और) उत्पन्न करती है। चरण 4: गतिविधि 1 टोकन की खपत करती है और 1 टोकन (और) उत्पन्न करती है। चरण 5: गतिविधि 2 टोकन का उपभोग करती है और 1 टोकन (,) उत्पन्न करती है। चरण 6: अंत में टोकन () का सेवन किया जाता है। निशान पूरा हो गया है। मॉडल पर ट्रेस () की योग्यता हैः उदाहरण 2: मॉडल एम पर ट्रेस (ए, बी, डी) को फिर से चलाएं चरण 1: एक टोकन शुरू किया जाता है। एक उत्पादित टोकन () है। चरण 2: गतिविधि में 1 टोकन की खपत होती है और 2 टोकन (और) का उत्पादन होता है। चरण 3: गतिविधि 1 टोकन की खपत करती है और 1 टोकन (और) उत्पन्न करती है। चरण 4: गतिविधि को चलाने की आवश्यकता है लेकिन पर्याप्त टोकन नहीं हैं। एक कृत्रिम टोकन का उत्पादन किया गया था और लापता टोकन काउंटर को एक () से बढ़ाया गया है। कृत्रिम टोकन और जगह पर टोकन का सेवन किया जाता है () और जगह के अंत में एक टोकन का उत्पादन किया जाता है। चरण 5: अंतिम स्थान पर टोकन () का सेवन किया जाता है। निशान पूरा हो गया है। प्लेस () पर एक टोकन शेष है। मॉडल पर ट्रेस () की योग्यता हैः संदर्भ एल्गोरिदम