|
![]() |
|||
|
||||
OverviewPetri 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. Full Product DetailsAuthor: Harro WimmelPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2008 ed. ISBN: 9783540854708ISBN 10: 3540854703 Pages: 242 Publication Date: 12 September 2008 Audience: General/trade , General Format: Hardback Publisher's Status: Out of Stock Indefinitely Availability: Out of stock ![]() Language: German Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |