Petrinetze
Reisig, Wolfgang
Produktnummer:
180fd91dc1dfdb4e14bb3ecf2f60672635
| Autor: | Reisig, Wolfgang |
|---|---|
| Themengebiete: | Ausdruck Modellierung Modellierungstechniken Netze Petri Petrinetze Systementwurf Verifikation |
| Veröffentlichungsdatum: | 15.07.2010 |
| EAN: | 9783834812902 |
| Sprache: | Deutsch |
| Seitenzahl: | 248 |
| Produktart: | Gebunden |
| Verlag: | Vieweg & Teubner |
| Untertitel: | Modellierungstechnik, Analysemethoden, Fallstudien |
Produktinformationen "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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen