Token-based replay
ટોકન-આધારિત રીપ્લે તકનીક એ એક અનુરૂપતા તપાસ અલ્ગોરિધમ છે જે મોડેલ પરના દરેક ટ્રેસને (પેટ્રી નેટ નોટેશનમાં) ફરીથી ચલાવીને તપાસ કરે છે કે પ્રક્રિયા તેના મોડેલ સાથે કેટલી સારી રીતે સુસંગત છે. ઉત્પાદિત ચાર ટોકન્સ, વપરાયેલ ટોકન્સ, ગુમ થયેલ ટોકન્સ અને બાકીના ટોકન્સનો ઉપયોગ કરીને, તે પરિસ્થિતિઓને રેકોર્ડ કરે છે જ્યાં સંક્રમણને ફાયર કરવા માટે દબાણ કરવામાં આવે છે અને રિપ્લે સમાપ્ત થયા પછી બાકીના ટોકન્સ. દરેક કાઉન્ટર પરની ગણતરીના આધારે, આપણે ટ્રેસ અને મોડેલ વચ્ચેના માવજત મૂલ્યની ગણતરી કરી શકીએ છીએ. અલ્ગોરિધમ ટોકન-રીપ્લે તકનીક રિપ્લે દરમિયાન ટ્રેસ પર નજર રાખવા માટે ચાર કાઉન્ટર્સનો ઉપયોગ કરે છેઃ ઉત્પાદિત ટોકન્સઃ વપરાયેલ ટોકન્સઃ ગુમ થયેલ ટોકન્સ (ત્યાં ન હોવા છતાં વપરાશ): બાકી રહેલા ટોકન્સ (ઉત્પાદિત પરંતુ વપરાશ નહીં) અપરિવર્તનશીલઃ કોઈપણ સમયેઃ અંતેઃ શરૂઆતમાં, સ્રોત સ્થાન (પી = 1) માટે ટોકન ઉત્પન્ન થાય છે અને અંતે, સિંક સ્થળ (સી '= સી + 1) માંથી ટોકનનો વપરાશ થાય છે. જ્યારે રીપ્લે સમાપ્ત થાય છે, ત્યારે માવજત મૂલ્યની ગણતરી નીચે પ્રમાણે કરી શકાય છેઃ ઉદાહરણ તરીકે ધારો કે પેટ્રી નેટ નોટેશનમાં નીચે પ્રમાણે એક પ્રક્રિયા મોડેલ છેઃ ઉદાહરણ 1: M મોડેલ પર ટ્રેસ () ને રીપ્લે કરો પગલું 1: એક ટોકન શરૂ કરવામાં આવે છે. ત્યાં એક ઉત્પાદિત ટોકન () છે. પગલું 2: પ્રવૃત્તિ ચલાવવા માટે 1 ટોકનનો વપરાશ કરે છે અને 2 ટોકન (અને) ઉત્પન્ન કરે છે. પગલું 3: પ્રવૃત્તિ 1 ટોકનનો વપરાશ કરે છે અને 1 ટોકન (અને) ઉત્પન્ન કરે છે. પગલું 4: પ્રવૃત્તિ 1 ટોકનનો વપરાશ કરે છે અને 1 ટોકન (અને) ઉત્પન્ન કરે છે. પગલું 5: પ્રવૃત્તિ 2 ટોકનનો વપરાશ કરે છે અને 1 ટોકન (,) ઉત્પન્ન કરે છે. પગલું 6: અંતિમ સ્થાન પરનું ટોકન () વપરાય છે. ટ્રેસ પૂર્ણ છે. મોડેલ પર ટ્રેસ () ની યોગ્યતા છેઃ ઉદાહરણ 2: મોડેલ એમ પર ટ્રેસ (એ, બી, ડી) ને ફરીથી વગાડો પગલું 1: એક ટોકન શરૂ કરવામાં આવે છે. ત્યાં એક ઉત્પાદિત ટોકન () છે. પગલું 2: પ્રવૃત્તિ ચલાવવા માટે 1 ટોકનનો વપરાશ કરે છે અને 2 ટોકન (અને) ઉત્પન્ન કરે છે. પગલું 3: પ્રવૃત્તિ 1 ટોકનનો વપરાશ કરે છે અને 1 ટોકન (અને) ઉત્પન્ન કરે છે. પગલું 4: પ્રવૃત્તિને બરતરફ કરવાની જરૂર છે પરંતુ ત્યાં પૂરતા ટોકન્સ નથી. એક કૃત્રિમ ટોકન તૈયાર કરવામાં આવ્યું હતું અને ગુમ થયેલ ટોકન કાઉન્ટરમાં એક () નો વધારો કરવામાં આવ્યો છે. કૃત્રિમ ટોકન અને સ્થાને ટોકનનો ઉપયોગ કરવામાં આવે છે () અને એક ટોકન સ્થળના અંતે () ઉત્પન્ન થાય છે. પગલું 5: અંતિમ સ્થાને ટોકન () નો વપરાશ થાય છે. ટ્રેસ પૂર્ણ છે. પ્લેસ () પર એક ટોકન બાકી છે. મોડેલ પર ટ્રેસ () ની યોગ્યતા છેઃ સંદર્ભો અલ્ગોરિધમ્સ