Petrinetze, lineare Algebra und lineare Programmierung
6 Angebote vergleichen

Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Sehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verhaltensbeschreibung durch linear-algebraische Verfahren erlaubt. Das Buch gibt eine Einführung in derartige Verfahren und beschreibt vollständig und übersichtlich den State-of-the-art in diesem Bereich. Neben einer neuen systematischen Darstellung bekannter Konzepte runden etliche neue Ergebnisse das Thema ab. Es wird deutlich, dass dynamische Eigenschaften eines netzmodellierten Systems eng zusammenhängen mit der Lösbarkeit bzw. mit Lösungen von Gleichungs- und Ungleichungssystemen.Dabei werden sowohl ganzzahlige als auch rationale Lösungen betrachtet. Eine Differenzierung von Analyse, Verifikation und Beweis führt zu entsprechenden Verfahren, die sich sowohl im Algorithmentyp als auch in ihrer Komplexität unterscheiden. - Zum Verständnis des Buches sind ausser Kenntnissen der üblichen mathematischen Terminologie keine Voraussetzungen notwendig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert. Soft cover.

Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Inhalt:Definitionen und elementare Ergebnisse - Erreichbarkeit von Markierungen - Fakten - Fallen und Co-Fallen - Ziele - Die Rangbedingungen - Anwendungen von Farkas LemmaSehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verhaltensbeschreibung durch linear-algebraische Verfahren erlaubt. Das Buch gibt eine Einführung in derartige Verfahren und beschreibt vollständig und übersichtlich den State-of-the-art in diesem Bereich. Neben einer neuen systematischen Darstellung bekannter Konzepte runden etliche neue Ergebnisse das Thema ab. Es wird deutlich, dass dynamische Eigenschaften eines netzmodellierten Systems eng zusammenhängen mit der Lösbarkeit bzw. mit Lösungen von Gleichungs- und Ungleichungssystemen.Dabei werden sowohl ganzzahlige als auch rationale Lösungen betrachtet. Eine Differenzierung von Analyse, Verifikation und Beweis führt zu entsprechenden Verfahren, die sich sowohl im Algorithmentyp als auch in ihrer Komplexität unterscheiden. - Zum Verständnis des Buches sind ausser Kenntnissen der üblichen mathematischen Terminologie keine Voraussetzungen notwendig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert.133 S. 4 SW-Abb.,Versandfertig in 3-5 Tagen, Softcover.

Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Language: German Brand New Book ***** Print on Demand *****.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 konnen. 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 GroBe des Netzes als auch mit wachsender Zahl anfangs verteilter Marken. Eine di rekte Aufzahlung aller erreichbarer Markierungen ist deshalb praktisch nicht moglich. 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 Uberprufung der Gultigkeit derartiger linear-algebraischer Bedingungen existieren effiziente Algorithmen. Ihre Komplexitat hangt we sentlich davon ab, ob rationale, ganzzahlige oder naturlichzahlige Losungen gesucht werden. Oftmals gibt es einen Trade-off: Alle Losungen haben ei ne Bedeutung, aber die effizienteren Algorithmen haben ei ne geringere Aussage kraft als die komplexeren. Optimierte Routinen fur Matrixoperationen konnen 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 veroffentlicht. 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 Veroffentlichungen auf eingeschrankte Netzklassen.

Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, UK, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
German language. In Stock.

Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, indoo.com, NJ, Avenel, [RE:4].
1998 ed.