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.
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Німецька ● Формат PDF ● ISBN 9783540854715 ● Видавець Springer Berlin Heidelberg ● Опубліковано 2008 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6320696 ● Захист від копіювання Adobe DRM
Потрібен читач електронних книг, що підтримує DRM