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.
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Allemand ● Format PDF ● ISBN 9783540854715 ● Maison d’édition Springer Berlin Heidelberg ● Publié 2008 ● Téléchargeable 3 fois ● Devise EUR ● ID 6320696 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM