Logo - springer
Slogan - springer

Springer Vieweg - IT & Informatik - Theoretische Informatik | Petrinetze - Modellierungstechnik, Analysemethoden, Fallstudien

Petrinetze

Modellierungstechnik, Analysemethoden, Fallstudien

Reisig, Wolfgang

2010, XVI, 248S. 140 Abb..

Formate:
eBook
Information

Springer eBooks sind ausschließlich für den persönlichen Gebrauch bestimmt und werden ohne Kopierschutz verkauft (DRM-frei). Statt dessen sind sie mit einem personalisierten Wasserzeichen versehen. Sie können die Springer eBooks auf gängigen Endgeräten, wie beispielsweise Laptops, Tablets oder eReader, lesen.

Springer eBooks können mit Visa, Mastercard, American Express oder Paypal bezahlt werden.

Nach dem Kauf können Sie das eBook direkt downloaden. Ihr eBook ist außerdem in MySpringer gespeichert, so dass Sie Ihre eBooks jederzeit neu herunterladen können.

 
$39.99

(net) Preis für USA

ISBN 978-3-8348-9708-4

versehen mit digitalem Wasserzeichen, kein DRM

Erhältliche Formate: PDF

sofortiger Download nach Kauf


mehr Information zu Springer eBooks

add to marked items

Hardcover
Information

Gebundene Ausgabe

Springer-Bücher können mit Visa, Mastercard, American Express, Paypal sowie auf Rechnung bezahlt werden.

Standard-Versand ist für Individualkunden kostenfrei.

 
$49.99

(net) Preis für USA

ISBN 978-3-8348-1290-2

kostenfreier Versand für Individualkunden

Der Titel wird nachgedruckt. Sie können ihn gerne vorbestellen.


add to marked items

  • Der anschauliche und fundierte Einstieg in die Petrinetze
Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt.
Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.

Inhalt
Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken

Zielgruppe
Studierende der Informatik an Universitäten und Fachhochschulen

Der Autor
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin

Content Level » Upper undergraduate

Stichwörter » Ausdruck - Modellierung - Modellierungstechniken - Netze - Petri - Petrinetze - Systementwurf - Verifikation

Verwandte Fachbereiche » Praktische Informatik - Theoretische Informatik

Inhaltsverzeichnis 

Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken

Beliebte Inhalte dieser Publikation 

 

Articles

Dieses Buch auf Springerlink lesen

Service für dieses Buch

Neuerscheinungen

Registrieren Sie sich hier wenn Sie regelmäßig Informationen über neue Bücher erhalten wollen im Fachbereich Theorie der Informationsverarbeitung.