Entscheidbarkeit bei Petri Netzen
Überblick und Kompendium
Published on 12. September 2008
Book
Hardback
VI, 242 pages
978-3-540-85470-8 (ISBN)
Description
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.
More details
Series
Edition
2008
Language
German
Place of publication
Heidelberg
Germany
Publishing group
Springer Berlin
Product notice
sewn/stitched
Cloth over boards
Illustrations
Bibliography
Dimensions
Height: 23.5 cm
Width: 15.5 cm
ISBN-13
978-3-540-85470-8 (9783540854708)
DOI
10.1007/978-3-540-85471-5
Schweitzer Classification
Other editions
Additional editions
E-Book
08/2008
Springer
€9.99
Available for download
Content
Petri Netze und ihre Mathematik.- Das Erreichbarkeitsproblem.- Elementare Markierungsprobleme.- Feuersequenzen und Sprachen.- Petri Netze mit Nulltest.- Ergebnisse im Überblick.