Overview
- Umfassendes Kompendium über Entscheidbarkeitsfragen bei Petrinetzen
- Beweise sind durchweg auf gute Lesbarkeit ausgerichtet
- Bietet einen exzellenten Einstieg und Überblick über die Forschung auf dem Gebiet
- Includes supplementary material: sn.pub/extras
Part of the book series: eXamen.press (EXAMEN)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
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.
Authors and Affiliations
Bibliographic Information
Book Title: Entscheidbarkeit bei Petri Netzen
Book Subtitle: Überblick und Kompendium
Authors: Harro Wimmel
Series Title: eXamen.press
DOI: https://doi.org/10.1007/978-3-540-85471-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
eBook ISBN: 978-3-540-85471-5Published: 25 August 2008
Series ISSN: 1614-5216
Edition Number: 1
Number of Pages: VI, 242
Topics: Software Engineering, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Mathematics of Computing