Petrinetze: Eine Einführung 2., Uberarb. U. Edition Contributor(s): Reisig, Wolfgang (Author) |
|
ISBN: 354016622X ISBN-13: 9783540166221 Publisher: Springer OUR PRICE: $56.99 Product Type: Paperback Language: German Published: May 1986 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Logic Design - Computers | Networking - Hardware |
Dewey: 004.6 |
Series: Studienreihe Informatik |
Physical Information: 0.45" H x 6.69" W x 9.61" (0.76 lbs) 196 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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 schlie lich 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. |