Petri net unfoldings
پیٹری جالوں کا تجزیہ یا تو قابل رسائی ریاستی جگہوں (یا قابل رسائی نشانات) کی تعمیر کے ذریعے یا گراف پر مبنی بے نقاب کے عمل کے ذریعے کیا جا سکتا ہے۔ پیٹری نیٹ انفلڈنگ کا سابقہ، جو کہ ایک سایکلک پیٹری نیٹ گراف ہے، پیٹری نیٹ کی خصوصیات کے بارے میں وہی معلومات پر مشتمل ہے جو رسائی کے گراف کے طور پر ہے، اس کے علاوہ اس میں پیٹری نیٹ ٹرانزیشن اور پیٹری نیٹ مقامات کے درمیان ترتیب، ہم آہنگی اور تنازعات کے تعلقات کے بارے میں معلومات شامل ہیں۔ عملی طور پر انفلڈنگ کے استعمال کے فوائد عام طور پر اس حقیقت سے وابستہ ہیں کہ انفلڈنگ پریفیکس تجزیہ کیے جانے والے پیٹری نیٹ کے رسائبلٹی گراف سے کہیں زیادہ کمپیکٹ ہے۔ پیٹری نیٹ کا انکشاف اصل میں کین میک ملن نے متعارف کرایا تھا۔ بعد میں ان کا مطالعہ کئی مصنفین نے کیا، جنہوں نے اس کی کمپیکٹنس اور اس وجہ سے موثر تجزیہ کے لحاظ سے انفلڈنگ کا سابقہ تیار کرنے کے لیے اصل معیار کو بہتر بنایا۔ سمورتی نظاموں اور غیر متغیر سرکٹس کے تجزیے اور ترکیب میں پیٹری نیٹ کے انکشافات کے استعمال ہیں۔ مؤخر الذکر عام طور پر سگنل ٹرانزیشن گراف (ایس ٹی جی) کے استعمال کے ذریعے حاصل کیا جاتا ہے۔ مزید پڑھنے کے حوالے پیٹری نیٹ ورلڈ ویب سائٹ، https://www2.informatik.uni-hamburg.de/TGI/PetriNets/index.php نیو کیسل یونیورسٹی اسنکرونس ڈیزائن ویب سائٹ http://async.org.uk آٹومیٹا (کمپیوٹیشن)