Entscheidbarkeit bei Petri Netzen Entscheidbarkeit bei Petri Netzen
eXamen.press

Entscheidbarkeit bei Petri Netzen

Überblick und Kompendium

    • $14.99
    • $14.99

Publisher Description

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.

GENRE
Computing & Internet
RELEASED
2008
25 August
LANGUAGE
DE
German
LENGTH
248
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
7.7
MB

More Books by Harro Wimmel

Other Books in This Series

Einstieg in Java und OOP Einstieg in Java und OOP
2008
Funktionale und Applikative Programmierung Funktionale und Applikative Programmierung
2009
Konzepte objektorientierter Programmierung Konzepte objektorientierter Programmierung
2009
Analysis für Informatiker Analysis für Informatiker
2009
Mathematik für Informatiker Mathematik für Informatiker
2009
Programmieren mit Wolfram Mathematica® Programmieren mit Wolfram Mathematica®
2009