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: শেষ স্থানে টোকেনটি ব্যবহার করা হয় ()। ট্রেস সম্পূর্ণ। জায়গায় () একটি অবশিষ্ট টোকেন রয়েছে। মডেলের ট্রেস ()-এর যোগ্যতা হলঃ রেফারেন্স অ্যালগরিদম