Petrinetze / Studienreihe Informatik (PDF)

Name: Petrinetze / Studienreihe Informatik
Brand: Springer-Verlag GmbH
SKU: 105005714
Price: 43.90 CHF
Availability: OnlineOnly

Eine Einführung

Autor: Wolfgang Reisig

Schreiben Sie einen Kommentar zu "Petrinetze / Studienreihe Informatik".

Petrinetze / Studienreihe Informatik, Wolfgang Reisig

Merken

Mehr zum Inhalt Video

sofort als Download lieferbar

Bestellnummer: 105005714

Printausgabe Fr. 58.00

eBook (pdf) Fr. 43.90

inkl. MwSt.

Download bestellen

Verschenken

Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Petrinetze / Studienreihe Informatik (PDF)“

1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schliesslich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstände und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Prädikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.