Wolfgang Reisig: Petrinetze | Taschenbuch

Cover: 9783540166221 | Petrinetze | Eine Einführung | Wolfgang Reisig | Taschenbuch | ix

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

54,99 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schließlich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstände und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Prädikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.

Über den Autor

Peter Fettke is a professor of Business Informatics at Saarland University and principal researcher, research fellow and group leader at the German Research Center for Artificial Intelligence (DFKI). He is interested in concepts, methods, and techniques at the intersection of business informatics and artificial intelligence, in particular the modeling of computer-integrated systems, robotic process automation, and systems mining. Peter is the author of more than 250 peer-reviewed publications and his work is among the most cited articles in leading international business informatics journals.

Wolfgang Reisig is a professor emeritus for Software Engineering and Theory of Programing at the Computer Science Institute of Humboldt-Universität in Berlin, Germany. He was a professor at TU Munich in the 1990s. During his career he held visitor positions at ICSI in Berkeley, Technion in Haifa, TU Eindhoven, RMIT in Melbourne, University of Melbourne, and TU Vienna. Wolfgang is a member of the European Academy of Sciences, Academia Europaea. He has published and edited numerous books and articles on Petri net theory and applications.

Inhaltsverzeichnis

1 Einführende Beispiele und grundlegende Definitionen.- 1.1 Beispiele aus verschiedenen Bereichen.- 1.2 Beispiele zur Schaltlogik und zu Betriebssystemen.- 1.3 Nichtsequentielle Programme.- 1.4 Ein Beispiel zur Systemanalyse.- 1.5 Einige grundlegende Definitionen.- 1.6 Zusammenfassung und Ausblick.- Aufgaben zu Kapitel 1.- Erster Teil: Bedingungs/Ereignis-Systeme.- 2 Netze aus Bedingungen und Ereignissen.- 3 Prozesse auf Bedingungs/Ereignis-Systemen.- 4 Systemeigenschaften.- Zweiter Teil: Stellen/Transitionen-Netze.- 5 Netze aus Stellen und Transitionen.- 6 Netz-Invarianten.- 7 Lebendigkeitsuntersuchungen spezieller Netzklassen.- Dritter Teil: Netze Mit Individuen Als Marken.- 8 Prädikat/Ereignis-Netze.- 9 Relationennetze.- Anhang: Mathematische Begriffe und Bezeichnungen.

Erscheinungsjahr:	1986
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	ix 196 S.
ISBN-13:	9783540166221
ISBN-10:	354016622X
Sprache:	Deutsch
Einband:	Kartoniert / Broschiert
Autor:	Reisig, Wolfgang
Auflage:	2. Auflage 1986
Hersteller:	Springer Springer Vieweg Springer-Verlag GmbH
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	242 x 170 x 12 mm
Von/Mit:	Wolfgang Reisig
Erscheinungsdatum:	01.05.1986
Gewicht:	0,372 kg