Petri net unfoldings
ಪೆಟ್ರಿ ಬಲೆಗಳ ವಿಶ್ಲೇಷಣೆಯನ್ನು ತಲುಪಬಹುದಾದ ಸ್ಥಿತಿ ಸ್ಥಳಗಳನ್ನು (ಅಥವಾ ತಲುಪಬಹುದಾದ ಗುರುತುಗಳನ್ನು) ನಿರ್ಮಿಸುವ ಮೂಲಕ ಅಥವಾ ಗ್ರಾಫ್ ಆಧಾರಿತ ತೆರೆದುಕೊಳ್ಳುವ ಪ್ರಕ್ರಿಯೆಯ ಮೂಲಕ ಮಾಡಬಹುದು. ಅಸೈಕ್ಲಿಕ್ ಪೆಟ್ರಿ ನೆಟ್ ಗ್ರಾಫ್ ಆಗಿರುವ ಪೆಟ್ರಿ ನೆಟ್ ಅನ್ಫೋಲ್ಡಿಂಗ್ನ ಪೂರ್ವಪ್ರತ್ಯಯವು ಪೆಟ್ರಿ ನೆಟ್ನ ಗುಣಲಕ್ಷಣಗಳ ಬಗ್ಗೆ ತಲುಪುವಿಕೆಯ ಗ್ರಾಫ್ನಂತೆಯೇ ಅದೇ ಮಾಹಿತಿಯನ್ನು ಹೊಂದಿರುತ್ತದೆ, ಜೊತೆಗೆ ಇದು ಪೆಟ್ರಿ ನೆಟ್ ಪರಿವರ್ತನೆಗಳು ಮತ್ತು ಪೆಟ್ರಿ ನೆಟ್ ಸ್ಥಳಗಳ ನಡುವಿನ ಅನುಕ್ರಮ, ಏಕಕಾಲೀನತೆ ಮತ್ತು ಸಂಘರ್ಷ ಸಂಬಂಧಗಳ ಬಗ್ಗೆ ಮಾಹಿತಿಯನ್ನು ಹೊಂದಿರುತ್ತದೆ. ಆಚರಣೆಯಲ್ಲಿ ತೆರೆದುಕೊಳ್ಳುವಿಕೆಯ ಬಳಕೆಯ ಪ್ರಯೋಜನಗಳು ಸಾಮಾನ್ಯವಾಗಿ ತೆರೆದುಕೊಳ್ಳುವ ಪೂರ್ವಪ್ರತ್ಯಯವು ವಿಶ್ಲೇಷಿಸಲಾಗುತ್ತಿರುವ ಪೆಟ್ರಿ ನಿವ್ವಳ ತಲುಪುವಿಕೆಯ ಗ್ರಾಫ್ಗಿಂತ ಹೆಚ್ಚು ಸಾಂದ್ರವಾಗಿರುತ್ತದೆ ಎಂಬ ಅಂಶದೊಂದಿಗೆ ಸಂಬಂಧಿಸಿವೆ. ಪೆಟ್ರಿ ನೆಟ್ ಅನ್ಫೋಲ್ಡಿಂಗ್ಗಳನ್ನು ಮೂಲತಃ ಕೆನ್ ಮೆಕ್ಮಿಲನ್ ಪರಿಚಯಿಸಿದರು. ನಂತರ ಅವುಗಳನ್ನು ಹಲವಾರು ಲೇಖಕರು ಅಧ್ಯಯನ ಮಾಡಿದರು, ಅವರು ಅದರ ಸಾಂದ್ರತೆ ಮತ್ತು ಆದ್ದರಿಂದ ಪರಿಣಾಮಕಾರಿ ವಿಶ್ಲೇಷಣೆಯ ದೃಷ್ಟಿಯಿಂದ ತೆರೆದುಕೊಳ್ಳುವಿಕೆಯ ಪೂರ್ವಪ್ರತ್ಯಯವನ್ನು ಉತ್ಪಾದಿಸುವ ಮೂಲ ಮಾನದಂಡವನ್ನು ಸುಧಾರಿಸಿದರು. ಸಮವರ್ತಿ ವ್ಯವಸ್ಥೆಗಳು ಮತ್ತು ಅಸಿಂಕ್ರೋನಸ್ ಸರ್ಕ್ಯೂಟ್ಗಳ ವಿಶ್ಲೇಷಣೆ ಮತ್ತು ಸಂಶ್ಲೇಷಣೆಯಲ್ಲಿ ಪೆಟ್ರಿ ನೆಟ್ ಅನ್ಫೋಲ್ಡಿಂಗ್ಗಳ ಅನ್ವಯಗಳಿವೆ. ಎರಡನೆಯದನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಸಿಗ್ನಲ್ ಟ್ರಾನ್ಸಿಶನ್ ಗ್ರಾಫ್ಗಳ (ಎಸ್ಟಿಜಿ) ಬಳಕೆಯ ಮೂಲಕ ಸಾಧಿಸಲಾಗುತ್ತದೆ. ಹೆಚ್ಚಿನ ಓದುವ ಉಲ್ಲೇಖಗಳು ಪೆಟ್ರಿ ನೆಟ್ ವರ್ಲ್ಡ್ ವೆಬ್ಸೈಟ್, https://www2.informatik.uni-hamburg.de/TGI/PetriNets/index.php ನ್ಯೂಕ್ಯಾಸಲ್ ಯೂನಿವರ್ಸಿಟಿ ಅಸಿಂಕ್ರೋನಸ್ ಡಿಸೈನ್ ವೆಬ್ಸೈಟ್ http://async.org.uk ಆಟೋಮ್ಯಾಟಾ (ಗಣನೆ)