Petrinetze, lineare Algebra und lineare Pr...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

44,99 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

be ziehen sich viele Veröffentlichungen auf eingeschränkte Netzklassen.

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	1998
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	133 S. 4 s/w Illustr. 133 S. 4 Abb. Mit 10 Bildern.
ISBN-13:	9783815423127
ISBN-10:	3815423120
Sprache:	Deutsch
Einband:	Kartoniert / Broschiert
Autor:	Desel, Jörg
Hersteller:	Vieweg & Teubner Vieweg+Teubner Verlag
Verantwortliche Person für die EU:	Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, D-65189 Wiesbaden, juergen.hartmann@springer.com
Maße:	244 x 170 x 8 mm
Von/Mit:	Jörg Desel
Erscheinungsdatum:	01.05.1998
Gewicht:	0,256 kg