Entscheidbarkeit bei Petri Netzen: Überblick und Kompendium

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

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

Petri Netze sind das meist beachtete und am besten untersuchte Modell für parallele Rechnungen und Stellen/Transitionennetze, die bekannteste und wichtigste Klasse von Petri Netzen. In diesem Buch werden erstmals systematisch alle wichtigen Fragen zur Entscheidbarkeit für klassische Stellen/Transitionennetze zusammengestellt und behandelt. Dazu gehören neben dem Erreichbarkeitsproblem weitere Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen, wie z.B. Fragen nach der Erreichbarkeit von Mengen von Markierungen, der Reproduktion von Markierungen und verschiedenen Lebendigkeitsbegriffen, oder die Frage, ob die Sprache eines Petri Netzes z.B. leer, endlich, total, regulär, gleich einer anderen Sprache ist. Dabei werden verschiedene klassische Sprach- und Akzeptanzmodelle von Petri Netzen in Betracht gezogen.

Über die üblichen Stellen/Transitionennetze hinaus werden einige Erweiterungen von Netzen in Bezug auf die Entscheidbarkeit von Erreichbarkeit, Beschränktheit und Überdeckbarkeit beleuchtet.