Harro Wimmel 
Entscheidbarkeit bei Petri Netzen [PDF ebook] 
Uberblick und Kompendium

Support

Petri Netze sind das am besten untersuchte Modell für parallele Rechnungen und Stellen/Transitionennetze. In diesem Buch werden erstmals alle wichtigen Fragen zur Entscheidbarkeit für klassische Stellen/Transitionennetze zusammengestellt und systematisch behandelt. Dazu gehören neben dem Erreichbarkeitsproblem Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen. Dabei werden verschiedene Sprach- und Akzeptanzmodelle in Betracht gezogen. Zusätzlich beleuchtet der Autor einige Erweiterungen von Netzen.

€10.33
Zahlungsmethoden
Dieses Ebook kaufen – und ein weitere GRATIS erhalten!
Sprache Deutsch ● Format PDF ● ISBN 9783540854715 ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2008 ● herunterladbar 3 mal ● Währung EUR ● ID 6320696 ● Kopierschutz Adobe DRM
erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

16.619 Ebooks in dieser Kategorie