Petrinetze (German, Paperback, 2., uberarb. u. erw. Aufl. 1986. 1. unverand. Nachdruck)

1 d Petrinetze sind fur 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 fuhrt 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, Synchronieabstande und Invarianten ausfuhrlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkul fur Pradikat/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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Studienreihe Informatik
Release date:	May 1986
First published:	1986
Authors:	Wolfgang Reisig
Dimensions:	244 x 170 x 11mm (L x W x T)
Format:	Paperback
Pages:	205
Edition:	2., uberarb. u. erw. Aufl. 1986. 1. unverand. Nachdruck
ISBN-13:	978-3-540-16622-1
Languages:	German
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Internet > Network computers Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
LSN:	3-540-16622-X
Barcode:	9783540166221

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!