Der direkte Draht zu unseren Spezialisten – Jetzt anrufen: 02191 - 99 11 00 Mo.- Fr. 8.30-17 Uhr
EDV-BUCHVERSAND Delf Michel
Ihr Berater für IT-Bücher, Software & Hardware
Schön, dass Sie da sind. » Hier geht's zur Anmeldung
Service & Beratung – direkter Kontakt
 02191 - 99 11 00

Entscheidbarkeit bei Petri Netzen

Entscheidbarkeit bei Petri Netzen - Überblick und Kompendium / Autor:  Wimmel, Harro, 978-3-540-85470-8
Bild vergrößern

Überblick und Kompendium

Lehrbuch und Nachschlagewerk für Studierende und Dozenten der Informatik

Autor: Wimmel, Harro
von Springer-Verlag
240 Seiten, Hardcover
ersch. 11/2008
ISBN: 978-3-540-85470-8

Druckausgabe
1299 inkl. MwSt.
Versandkostenfrei (D) i
Best.Nr.: SP-85470
Sofort Lieferbar Sofort lieferbar i
 
In diesem Buch werden erstmals systematisch alle wichtigen Fragen zur Entscheidbarkeit für klassische Stellen/Transitionen-Netze zusammengestellt und behandelt. Geschrieben für Studierende und Dozenten der Informatik bietet dieses Lehrbuch:
  • Ein umfassendes Kompendium über Entscheidbarkeitsfragen bei Petrinetzen
  • Beweise, die durchweg auf gute Lesbarkeit ausgerichtet sind
  • Einen exzellenten Einstieg und Überblick über die Forschung auf dem Gebiet
Zum Inhalt gehören neben dem Erreichbarkeits-Problem weitere Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen, wie z.B. Fragen nach der Erreichbarkeit von Mengen von Markierungen, der Reproduktion von Markierungen und verschiedenen Lebendigkeits-Begriffen, oder die Frage, ob die Sprache eines Petri Netzes z.B. leer, endlich, total, regulär, gleich einer anderen Sprache ist.

Dabei werden verschiedene klassische Sprach- und Akzeptanz-Modelle von Petri Netzen in Betracht gezogen. Über die üblichen Stellen/Transitionen-Netze hinaus werden einige Erweiterungen von Netzen in Bezug auf die Entscheidbarkeit von Erreichbarkeit, Beschränktheit und Überdeckbarkeit beleuchtet.

Petri Netze sind das meist beachtete und am besten untersuchte Modell für parallele Rechnungen und Stellen/Transitionen-Netze, die bekannteste und wichtigste Klasse von Petri Netzen. Schauen Sie auch in unsere Leseprobe - das ganze einleitende Kapitel!


Der Inhalt von "Entscheidbarkeit bei Petri Netzen" im Überblick:

  • Petri Netze und ihre Mathematik
  • Das Erreichbarkeitsproblem
  • Elementare Markierungsprobleme
  • Feuersequenzen und Sprachen
  • Petri Netze mit Nulltest
  • Ergebnisse im Überblick
Hier das ganze Inhaltsverzeichnis...
Sofort lieferbar! Für Bestellungen, die werktags bis 17 Uhr bei uns eingehen, erfolgt der Versand noch am selben Tag!
Sofort lieferbar! Mit dem Kauf dieses Artikels verzichten Sie auf Ihr Widerrufsrecht!
Für die Bestellung dieses Artikels erfolgt die Bearbeitung und Bereitstellung (Download-Link / Lizenzschlüssel) mit unserer Rechnungsstellung (Montag bis Freitag zwischen 9 und 17 Uhr).
Versandkosten Die Versandkosten für Deutschland betragen € 2.95. Für Österreich berechnen wir € 5,95 Versand und für die Schweiz € 12,95.
Kunden aus anderen Ländern entnehmen die für sie geltenden Versandkosten bitte dem Warenkorb.
Versandkosten Bücher sind innerhalb Deutschlands grundsätzlich versandkostenfrei.
Für Österreich berechnen wir € 5,95 Versand und für die Schweiz € 12,95.
Kunden aus anderen Ländern entnehmen die für sie geltenden Versandkosten bitte dem Warenkorb.
Um Ihnen das bestmögliche Shopping-Erlebnis zu bieten, verwenden wir "Cookies" auf unseren Seiten. Wenn Sie weitersurfen, stimmen Sie der Nutzung zu. » Einverstanden.