Token-based replay
ٹوکن پر مبنی ری پلے تکنیک ایک مطابقت کی جانچ کرنے والا الگورتھم ہے جو اس بات کی جانچ کرتا ہے کہ ماڈل پر ہر ٹریس کو دوبارہ چلا کر (پیٹری نیٹ نوٹیشن میں) کوئی عمل اپنے ماڈل کے ساتھ کتنی اچھی طرح مطابقت رکھتا ہے۔ چار کاؤنٹروں سے تیار کردہ ٹوکن، استعمال شدہ ٹوکن، گمشدہ ٹوکن، اور باقی ٹوکن کا استعمال کرتے ہوئے، یہ ان حالات کو ریکارڈ کرتا ہے جہاں منتقلی کو فائر کرنے پر مجبور کیا جاتا ہے اور ری پلے ختم ہونے کے بعد باقی ٹوکن۔ ہر کاؤنٹر پر گنتی کی بنیاد پر، ہم ٹریس اور ماڈل کے درمیان فٹنس ویلیو کا حساب لگا سکتے ہیں۔ الگورتھم ٹوکن-ری پلے تکنیک ری پلے کے دوران ٹریس کا سراغ لگانے کے لیے چار کاؤنٹرز کا استعمال کرتی ہے:: تیار شدہ ٹوکن: استعمال شدہ ٹوکن: گمشدہ ٹوکن (وہاں نہ ہوتے ہوئے استعمال کیا گیا): باقی ٹوکن (تیار کیا گیا لیکن استعمال نہیں کیا گیا) متغیرات: کسی بھی وقت: آخر میں: شروع میں، ماخذ کی جگہ (p = 1) کے لیے ایک ٹوکن تیار کیا جاتا ہے اور آخر میں، سنک کی جگہ (c '= c + 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: اختتامی جگہ پر موجود ٹوکن () استعمال کیا جاتا ہے۔ ٹریس مکمل ہے۔ جگہ () پر ایک ٹوکن باقی ہے۔ ماڈل پر ٹریس () کی فٹنس یہ ہے: حوالہ جات الگورتھم