Vorwort Inhaltsverzeichnis Leseprobe
Video zum Buch ins Buch schauen Ebook
druckfähiges Buchcover DozentenPLUS | Zusatzmaterialien OnlinePLUS | Zusatzmaterialien
Teil einer eBook FlatrateOnline Flatrate FAQ blind
Entscheidbarkeit bei Petri NetzenEntscheidbarkeit bei Petri Netzen
Entscheidbarkeit bei Petri Netzen
Autor: Wimmel, Harro

Entscheidbarkeit bei Petri Netzen

Überblick und Kompendium

Aus der Reihe: eXamen.press

2008. VI, 240 S. mit 41 Abb. Geb.
ISBN: 978-3-540-85470-8

Lehrbuch

9,95 €
Lieferbar, versandfertig in 3 Tagen
Das Buch
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.
comment send print AddThis Feed Button

STICHWORTE, DIE AUF WEITERE PRODUKTE VERWEISEN

 
E-Mail-Adresse


Sind Sie Dozent?

Passwort vergessen?
Passwort


 Ja   Nein

 


ALLE ZEITSCHRIFTEN