Petrinetze, lineare Algebra und lineare Programmierung

Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Häftad, Tyska, 1998

Del 26 i serien Teubner Texte zur Informatik

469 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1998-05-01
Mått:170 x 244 x 8 mm
Vikt:256 g
Format:Häftad
Språk:Tyska
Serie:Teubner Texte zur Informatik
Antal sidor:133
Upplaga:1998
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783815423127

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1 Einleitung.- 2 Definitionen und elementare Ergebnisse.- 2.1 Ungleichungssysteme.- 2.2 Petrinetze und Markierungen.- 2.3 Schaltfolgen.- 2.4 Die Inzidenzmatrix und die Markierungsgleichung.- 2.5 Markierte Netze und ihre Eigenschaften.- 2.6 Stelleninvarianten.- 2.7 Transitionsinvarianten.- 3 Erreichbarkeit von Markierungen.- 3.1 Entscheidung, Beweis und Widerlegung notwendiger Bedingungen.- 3.2 Lösbarkeit der Markierungsgleichung über ?.- 3.3 Lösbarkeit der Markierungsgleichung über ?.- 3.4 Lösbarkeit der Markierungsgleichung über ?+.- 3.5 Lösbarkeit der Markierungsgleichung über ?.- 3.6 Berechnung von Modulo-Stelleninvarianten.- 4 Fakten.- 4.1 Lineare Prädikate.- 4.2 Implikationen linearer Prädikate.- 4.3 Beweise von Fakten.- 4.4 Lebendigkeit und Verklemmungen.- 5 Fallen und Co-Fallen.- 5.1 Fallen und Erreichbarkeit.- 5.2 Fallen und lineare Prädikate.- 5.3 Co-Fallen.- 6 Ziele.- 6.1 Interne und externe Transitionen.- 6.2 Verifikation von Zielen.- 6.3 Verifikation bedingter Ziele.- 7 Die Rangbedingungen.- 7.1 Starke Schaltfolgen und stark lebendige Markierungen.- 7.2 Eine hinreichende Bedingung für die Existenz stark lebendiger Markierungen.- 7.3 Charakterisierung stark lebendiger Markierungen.- 7.4 Eine notwendige Bedingung für die Lebendigkeit von Markierungen.- 8 Anwendungen von Farkas Lemma.- 8.1 Analyse der Beschränktheit von Stellen.- 8.2 Überdeckbarkeit von Markierungen.- 8.3 Schalthäufigkeiten.- 8.4 Terminierung und Lebendigkeit.- 8.5 Abhängigkeit und Synchronieabstand.- Literatur.- Stichwortverzeichnis.

Du kanske också är intresserad av

Del 10

Evolution in Objekt-Datenbanken

Springer Fachmedien Wiesbaden

Häftad, 1995

520 kr

Del 23

Algorithmische Informationstheorie

Günther Hotz

Häftad, 1997

377 kr

Del 32

Vorlesungen zur Komplexitätstheorie

Gerd Wechsung

Häftad, 2000

641 kr

Formale Semantik eines erweiterten Entity-Relationship-Modells

Springer Fachmedien Wiesbaden

Häftad, 1993

520 kr

Del 34

Semantik und Programmverifikation

Christoph Walther

Häftad, 2001

397 kr

Del 33

Backup und Recovery in Datenbanksystemen

Uta Störl

Häftad, 2001

397 kr

Del 29

Angewandte Informatik und Formale Beschreibungsverfahren

Georg Lausen, Andreas Oberweis, Gunter Schlageter

Häftad, 1999

520 kr

Del 24

Dynamic Load Distribution for Parallel Applications

Georg Stellner

Häftad, 1997

520 kr

Del 1

Informatik

Harald Ganzinger, Wolfgang J. Paul

Häftad, 1992

520 kr

Del 162

Begründungsverwaltung

Herbert Stoyan

Häftad, 1988

1 139 kr

Petrinetze, lineare Algebra und lineare Programmierung

Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Häftad, Tyska, 1998

Del 26 i serien Teubner Texte zur Informatik

469 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1998-05-01
Mått:170 x 244 x 8 mm
Vikt:256 g
Format:Häftad
Språk:Tyska
Serie:Teubner Texte zur Informatik
Antal sidor:133
Upplaga:1998
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783815423127

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1 Einleitung.- 2 Definitionen und elementare Ergebnisse.- 2.1 Ungleichungssysteme.- 2.2 Petrinetze und Markierungen.- 2.3 Schaltfolgen.- 2.4 Die Inzidenzmatrix und die Markierungsgleichung.- 2.5 Markierte Netze und ihre Eigenschaften.- 2.6 Stelleninvarianten.- 2.7 Transitionsinvarianten.- 3 Erreichbarkeit von Markierungen.- 3.1 Entscheidung, Beweis und Widerlegung notwendiger Bedingungen.- 3.2 Lösbarkeit der Markierungsgleichung über ?.- 3.3 Lösbarkeit der Markierungsgleichung über ?.- 3.4 Lösbarkeit der Markierungsgleichung über ?+.- 3.5 Lösbarkeit der Markierungsgleichung über ?.- 3.6 Berechnung von Modulo-Stelleninvarianten.- 4 Fakten.- 4.1 Lineare Prädikate.- 4.2 Implikationen linearer Prädikate.- 4.3 Beweise von Fakten.- 4.4 Lebendigkeit und Verklemmungen.- 5 Fallen und Co-Fallen.- 5.1 Fallen und Erreichbarkeit.- 5.2 Fallen und lineare Prädikate.- 5.3 Co-Fallen.- 6 Ziele.- 6.1 Interne und externe Transitionen.- 6.2 Verifikation von Zielen.- 6.3 Verifikation bedingter Ziele.- 7 Die Rangbedingungen.- 7.1 Starke Schaltfolgen und stark lebendige Markierungen.- 7.2 Eine hinreichende Bedingung für die Existenz stark lebendiger Markierungen.- 7.3 Charakterisierung stark lebendiger Markierungen.- 7.4 Eine notwendige Bedingung für die Lebendigkeit von Markierungen.- 8 Anwendungen von Farkas Lemma.- 8.1 Analyse der Beschränktheit von Stellen.- 8.2 Überdeckbarkeit von Markierungen.- 8.3 Schalthäufigkeiten.- 8.4 Terminierung und Lebendigkeit.- 8.5 Abhängigkeit und Synchronieabstand.- Literatur.- Stichwortverzeichnis.