Petrinetze, Lineare Algebra Und Lineare Programmierung - Analyse, Verifikation Und Korrektheitsbeweise Von Systemmodellen (German, Paperback, 1998 ed.)

Der Titel dieser Arbeit ist bereits ei ne kurze Inhaltsangabe. Es geht darum, die Matrixreprasentation von Petrinetzen in Gleichungs- und Ungleichungs- systemen auszunutzen, urn Aussagen uber das Verhalten eines Netzmodells gewinnen oder beweisen zu koennen. Die Motivation fur die Verwendung linear-algebraischer Verfahren liegt in der Komplexitat des Verhaltens von Petrinetzen. So explodiert die Anzahl erreich- barer Markierungen eines markierten Petrinetzes sowohl mit wachsender GroeBe des Netzes als auch mit wachsender Zahl anfangs verteilter Marken. Eine di- rekte Aufzahlung aller erreichbarer Markierungen ist deshalb praktisch nicht moeglich. Mit Hilfe von Gleichungs- und Ungleichungssystemen lassen sich aber haufig wenigstens hinreichende oder notwendige Bedingungen fur dynamische Eigenschaften ei nes markierten Netzes formulieren; ei ne linear-algebraische Analyse erlaubt so, Informationen uber das Verhalten eines markierten Netzes zu gewinnen. Zur UEberprufung der Gultigkeit derartiger linear-algebraischer Bedingungen existieren effiziente Algorithmen. Ihre Komplexitat hangt we- sentlich davon ab, ob rationale, ganzzahlige oder naturlichzahlige Loesungen gesucht werden. Oftmals gibt es einen Trade-off: Alle Loesungen haben ei ne Bedeutung, aber die effizienteren Algorithmen haben ei ne geringere Aussage- kraft als die komplexeren. Optimierte Routinen fur Matrixoperationen koennen mit proprietaren Analyseverfahren fur Petrinetze kombiniert werden. Das Thema dieser Arbeit ist annahernd so alt wie Petrinetze selbst. Schon Mitte der siebziger Jahre wurden erste einschlagige Arbeiten veroeffentlicht. Leider verwenden Autoren seitdem immer wieder neue Notationen, so daB ein einheitliches Bild des State-of-the-art nur schwer zu bekommen ist. Auch be- ziehen sich viele Veroeffentlichungen auf eingeschrankte Netzklassen.

General

Imprint:	Vieweg+teubner Verlag
Country of origin:	Germany
Series:	Teubner Texte Zur Informatik, 26
Release date:	May 1998
First published:	May 1998
As told to:	Joerg Desel
Dimensions:	244 x 170 x 8mm (L x W x T)
Format:	Paperback - Trade
Pages:	133
Edition:	1998 ed.
ISBN-13:	978-3-8154-2312-7
Languages:	German
Subtitles:	German
Categories:	Books > Professional & Technical > Technology: general issues > Engineering: general
LSN:	3-8154-2312-0
Barcode:	9783815423127

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!