Petri net unfoldings
பெட்ரி வலைகளின் பகுப்பாய்வு அடையக்கூடிய மாநில இடைவெளிகளை (அல்லது அடையக்கூடிய அடையாளங்களை) உருவாக்குவதன் மூலம் அல்லது வரைபட அடிப்படையிலான வெளிப்பாட்டின் செயல்முறை மூலம் செய்யப்படலாம். ஒரு பெட்ரி நிகர வெளிப்பாட்டின் முன்னொட்டு, இது ஒரு அசைக்லிக் பெட்ரி நிகர வரைபடம், பெட்ரி வலையின் பண்புகள் பற்றிய அதே தகவல்களை அடையக்கூடிய வரைபடமாக கொண்டுள்ளது, மேலும் இது பெட்ரி நிகர மாற்றங்கள் மற்றும் பெட்ரி நிகர இடங்களுக்கு இடையிலான வரிசை, இணக்கம் மற்றும் மோதல் உறவுகள் பற்றிய தகவல்களையும் கொண்டுள்ளது. நடைமுறையில் வெளிப்பாட்டைப் பயன்படுத்துவதன் நன்மைகள் பொதுவாக பகுப்பாய்வு செய்யப்படும் பெட்ரி வலையின் அடையக்கூடிய வரைபடத்தை விட வெளிப்பாட்டின் முன்னொட்டு மிகவும் கச்சிதமானது என்ற உண்மையுடன் தொடர்புடையவை. பெட்ரி வலை வெளிப்பாடுகள் முதலில் கென் மெக்மில்லனால் அறிமுகப்படுத்தப்பட்டன. பின்னர் அவை பல எழுத்தாளர்களால் ஆய்வு செய்யப்பட்டன, அவர்கள் அதன் சுருக்கத்தின் அடிப்படையில் வெளிப்பாட்டின் முன்னொட்டு தயாரிப்பதற்கான அசல் அளவுகோலை மேம்படுத்தினர், எனவே திறமையான பகுப்பாய்வு. ஒருங்கிணைந்த அமைப்புகள் மற்றும் ஒத்திசைவற்ற சுற்றுகளின் பகுப்பாய்வு மற்றும் தொகுப்பில் பெட்ரி நிகர வெளிப்பாடுகளின் பயன்பாடுகள் உள்ளன. பிந்தையது பொதுவாக சிக்னல் மாற்றம் வரைபடங்களைப் (எஸ். டி. ஜி) பயன்படுத்துவதன் மூலம் அடையப்படுகிறது. குறிப்புகள் மேலும் படிக்க பெட்ரி வலை உலக வலைத்தளம், https://www2.informatik.uni-hamburg.de/TGI/PetriNets/index.php நியூகேஸில் பல்கலைக்கழக ஒத்திசைவற்ற வடிவமைப்பு வலைத்தளம் http://async.org.uk தானியங்கி (கணக்கீடு)