Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen belieb
- PDF / 66,264,719 Bytes
- 252 Pages / 476.22 x 680.315 pts Page_size
- 28 Downloads / 151 Views
W. Reisig, Petrinetze, DOI 10.1007/978-3-8348-9708-4_8, © Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH 2010
Leitfäden der Informatik Herausgegeben von Prof. Dr. Bernd Becker Prof. Dr. Friedemann Mattem Prof. Dr. Heinrich Müller Prof. Dr. Wilhelm Schäfer Prof. Dr. Dorothea Wagner Prof. Dr. Ingo Wegener
Die Leitfäden der Informatik behandeln • Themen aus der Theoretischen, Praktischen und Technischen Informatik entsprechend dem aktuellen Stand der Wissenschaft in einer systematischen und fundierten Darstellung des jeweiligen Gebietes • Methoden und Ergebnisse der Informatik, ausgearbeitet und dargestellt aus der Sicht der Anwendung in einer für Anwender verständlichen, exakten und präzisen Form. Die Bände der Reihe wenden sich zum einen als Grundlage und Ergänzung zu Vorlesungen der Informatik an Studierende und Lehrende in Informatik-Studiengängen an Hochschulen, zum anderen an .Praktiker", die sich einen Überblick über die Anwendungen der Informatik (-Methoden) verschaffen wollen; sie dienen aber auch in Wirtschaft, Industrie und Verwaltung tätigen Informatikerinnen und Informatikern zur Fortbildung in praxisrelevanten Fragestellungen ihres Faches.
www.viewegteubner.de _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _---'
Wolfgang Reisig
Petrinetze Modeliierungstechnik, Analysemethoden, Fallstudien
STUDIUM
11 VIEWEG+ TEUBNER
Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über abrufbar.
Prof. Dr. Wolfgang Reisig Studierte in Karlsruhe und Bonn Physik und Informatik. 1974 - 1983 wissenschaftlicher Mitarbeiter und Assistent an der Universität Bonn und der RWTH Aachen. Promotion 1979 zur Analyse kooperierender sequentieller Prozesse. 1983 Professor an der Universität Hamburg und anschließend Projektleiter bei der Gesellschaft für Mathematik und Datenverarbeitung. Projekte zur Systemanalyse und -modellierung. 1987 Habilitation an der Universität Bonn. Danach Professor für Theoretische Informatik an der TU München. Seit 1993 Professor für Softwaretechnik und Theorie der Programmierung am Institut für Informatik der Humboldt-Universität zu Berlin. Sprecher des DFG-Graduiertenkollegs Service-orientierte Architekturen zur Integration Softwaregestützter Prozesse am Beispiel des Gesundheitswesens und der Medizintechnik (SOAMED). Mitglied der Europäischen Akademie der Wissenschaften, Academia Europaea. Mehrmonatige Forschungsaufenthalte am ICSI, Berkeley, Kalifornien, bei Microsoft Research in Redmond und als "Lady Davis Visiting Professor" am Technion, Haifa, Israel. 2006 Beta Chair der Technischen Universität Eindhoven.
1. Auflage 2010 Alle Rechte vorbehalten © Vieweg+ Teubner Verlag I Springer Fachmedien Wiesbaden GmbH 2010 Lektorat: Ulrich Sandten
I
Kerstin Hoffmann
Vieweg+ Teubner Verlag ist eine Marke von Springer Fachmedien. Springer Fachmedien ist Teil der Fachverlagsgruppe Springer Science+Business Media. www.viewegteubner.de Das Werk ein
