Entscheidbarkeit bei Petri Netzen
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…
Neben unseren Zeitschriften informieren Sie sich hier über eBooks.
Werfen Sie einen Blick ins Buch oder stöbern Sie durch Leseproben, schauen Sie sich andere Titel des Autors oder des Verlages an. Neben einer Kurzbeschreibung finden Sie ein Inhaltsverzeichnis und weitere Informationen, wie Autor, Verlag, Erscheinungsjahr und natürlich einen direkten Download