Petri net unfoldings
પેટ્રી જાળીનું વિશ્લેષણ ક્યાં તો પહોંચી શકાય તેવી સ્થિતિ જગ્યાઓ (અથવા પહોંચી શકાય તેવી નિશાનીઓ) બનાવીને અથવા આલેખ-આધારિત અનફોલ્ડિંગની પ્રક્રિયા દ્વારા કરી શકાય છે. પેટ્રી નેટ અનફોલ્ડિંગનો ઉપસર્ગ, જે એક ચક્રીય પેટ્રી નેટ ગ્રાફ છે, તેમાં પેટ્રી નેટના ગુણધર્મો વિશેની સમાન માહિતી સુલભતા ગ્રાફ તરીકે હોય છે, ઉપરાંત તેમાં પેટ્રી નેટ સંક્રમણો અને પેટ્રી નેટ સ્થાનો વચ્ચેના ક્રમ, સમવર્તી અને સંઘર્ષ સંબંધો વિશેની માહિતી હોય છે. વ્યવહારમાં અનફોલ્ડિંગના ઉપયોગના ફાયદાઓ સામાન્ય રીતે એ હકીકત સાથે સંકળાયેલા છે કે અનફોલ્ડિંગ ઉપસર્ગ વિશ્લેષણ કરવામાં આવતા પેટ્રી નેટના પહોંચપાત્રતા આલેખ કરતાં વધુ સઘન છે. પેટ્રી નેટ અનફોલ્ડિંગ્સ મૂળરૂપે કેન મેકમિલન દ્વારા રજૂ કરવામાં આવી હતી. પાછળથી કેટલાક લેખકો દ્વારા તેમનો અભ્યાસ કરવામાં આવ્યો હતો, જેમણે તેની સઘનતા અને તેથી કાર્યક્ષમ વિશ્લેષણની દ્રષ્ટિએ અનફોલ્ડિંગના ઉપસર્ગને ઉત્પન્ન કરવા માટેના મૂળ માપદંડમાં સુધારો કર્યો હતો. સમવર્તી પ્રણાલીઓ અને અસિંક્રોનસ સર્કિટના વિશ્લેષણ અને સંશ્લેષણમાં પેટ્રી નેટ અનફોલ્ડિંગ્સના ઉપયોગો છે. બાદમાં સામાન્ય રીતે સિગ્નલ ટ્રાન્ઝિશન ગ્રાફ (એસટીજી) ના ઉપયોગ દ્વારા પ્રાપ્ત થાય છે. સંદર્ભો વધુ વાંચન પેટ્રી નેટ વર્લ્ડ વેબસાઇટ, https://www2.informatik.uni-hamburg.de/TGI/PetriNets/index.php ન્યૂકેસલ યુનિવર્સિટી એસિંક્રોનસ ડિઝાઇન વેબસાઇટ http://async.org.uk ઓટોમેટા (ગણતરી)