Reversible computation vs. reversibility in Petri nets

اضافه کردن معکوس می تواند به شدت بر رفتار یک شبکه پتری تاثیر می گذارد. به همین دلیل مهم است که بتوانیم مشخص کنیم که آیا خالص اصلاح شده دارای مجموعه ای مشابه از حالت ها به عنوان یک اولیه است. ما ابتدا ثابت می کنیم که مشکل تعیین اینکه آیا شبکه های اولیه و اصلاح شده دارای همان نشانه های قابل دستیابی هستند قابل حل نیست حتی در پرونده محدود شده در این مقاله. سپس ما نشان می دهیم که مشکل بررسی اینکه آیا مجموعه های دستیابی دو شبکه پوشش همان علامت گذاری را دارند قابل حل است.