Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. In addition, the conf- ences always welcome a range of invited talks that survey related domains, as well as satellite events such as tutorials and workshops. The 2008 conference had six invited speakers, two advanced tutorials, and four workshops. Detailed information about PETRI NETS 2008 and the related events can be found at http: //ictt. xidian. edu. cn/atpn-acsd2008. The PETRI NETS 2008 conference was organized by the Institute of C- puting Theory andTechnologyat Xidian University, Xi'an, China, where it took place during June 23-27, 2008. We would like to express our deep thanks to the Organizing Committee, chaired by Zhenhua Duan, for the time and e?ort - vested in the conference and for all the help with local organization. We are also grateful for the ?nancial support of the National Natural Science Foundation of China (NSFC) (Grant No. 60433010), Xidian University, and the Institute of Computing Theory and Technology at Xidian University.

This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.

Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr das Leitthema "Vernetzte und kom- plexe Informatik-Systeme" entschieden. Aufgrund der rapide fortschreitenden Technologie und dadurch erschlossener neuer Anwendungsbereiche werden komplexe Systeme in tech- nischer oder gesellschaftlicher Umgebung zunehmend durch informatikspezifische Gesichts- punkte bestimmt. Dies rechtfertigt den Begriff "Informatik-System" als Zusammenfassung aller in der Informatik betrachteten Methoden des Entwurfs und der Handhabung solcher Systeme. Vernetztheit und Komplexitat bestimmen in unterschiedlichen Erscheinungsformen die strukturellen Probleme der Informatik. Haufig stehen diese beiden Problemkreise in starker Abhangigkeit zueinander. Komplexe Systeme erzwingen Modularitat, um sie beherrschbar zu gestalten, wahrend stark vernetzte Systeme andererseits eine Form von Komplexitat zeigen, die zur Zeit noch hechst unbefriedigend verstanden wird. Eine besondere Form von Vernetztheit stellen verteilte Systeme dar. Ais innere Betriebs- form kennen sie zur Leistungssteigerung von Rechensystemen beitragen, als au Bere Be- triebsform tragen sie der Verteiltheit von Anwendungsproblemen Rechnung. Konkrete Auspragungen verteilter und vernetzter Informatik-Systeme finden sich in den verschiedensten Formen, von der Mikroelektronik Ober Rechnerarchitekturen bis hin zu Soft- ware-Systemen mit Anwendung in Technik und Gesellschaft. Letztere stellen oft selbst kom- plexe und verteilte Systeme dar, was sich zunehmend in den entsprechenden Informatik- Anwendungen widerspiegelt.

Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der Fachbereich Informatik hat sich als Veranstalter fOr das Leitthema "Vernetzte und kom- plexe Informatik-Systeme" entschieden. Aufgrund der rapide fortschreitenden Technologie und dadurch erschlossener neuer Anwendungsbereiche werden komplexe Systeme in tech- nischer oder gesellschaftlicher Umgebung zunehmend durch informatikspezifische Gesichts- punkte bestimmt. Dies rechtfertigt den 8egriff "Informatik-System" als Zusammenfassung aller in der Informatik betrachteten Methoden des Entwurfs und der Handhabung solcher Systeme. Vernetztheit und Komplexitat bestimmen in unterschiedlichen Erscheinungsformen die strukturellen Probleme der Informatik. Haufig stehen diese beiden Problemkreise in starker Abhangigkeit zueinander. Komplexe Systeme erzwingen Modularitat, urn sie beherrschbar zu gestalten, wahrend stark vernetzte Systeme andererseits eine Form von Komplexitat zeigen, die zur Zeit noch hochst unbefriedigend verstanden wird. Eine besondere Form von Vernetztheit stellen verteilte Systeme dar. Ais innere 8etriebs- form konnen sie zur Leistungssteigerung von Rechensystemen beitragen, als auBere Be- triebsform tragen sie der Verteiltheit von Anwendungsproblemen Rechnung. Konkrete Auspragungen verteilter und vernetzter Informatik-Systeme finden sich in den verschiedensten Formen, von der Mikroelektronik Ober Rechnerarchitekturen bis hin zu Soft- ware-Systemen mit Anwendung in Technik und Gesellschaft. Letztere stellen oft selbst kom- plexe und verteilte Systeme dar, was sich zunehmend in den entsprechenden Informatik- Anwendungen widerspiegelt.

Das Buch ist hervorgegangen aus Vorlesungen, die wir an der Universitat Hamburg gehalten haben. Der Umstand, dass die ubliche getrennte Darstellung der Gebiete "Betriebssysteme", "Rechnerorganisation" und "Verteilte Systeme" jede der Veran- staltungen mit der Prasentation eines Instrumentariums von Verfahren belastet und dabei den Lernenden die Einheit der Gesichtspunkte leicht verborgen bleibt, fuhrte dazu, dass das Lehrgebiet "Rechnerorganisation und Betriebssysteme" in eine Grundvorlesung "Rechensysteme" und darauf aufbauende - dank der bereits ge- brachten Grundlagen - mehr implementationsorientierte Vorlesungen "Rechneror- ganisation", "Betriebssysteme", "Verteilte Systeme" gegliedert wurde. Die Vor- lesung "Rechensysteme" hat Ansatz und Material zu diesem Buch geliefert. Das Buch eignet sich daher als Begleittext fur Studenten der Informatik im Hauptstudium und fur Nebenfachinformatiker mit Interesse fur Rechensysteme, sowie als Grundlagentext fur Programmierer und Systemanalytiker. Es ist als Lehrbuch fur eigenstandiges Lernen und als Nachschlagewerk fur Praktiker geeig- net, die Aufschluss uber theoretische Modelle voraussetzende Fragen brauchen. Fur vertiefende Studien werden zahlreiche Literaturhinweise gegeben. Wir danken Eike Best, Wilfried Brauer, Heino Carstensen, Hans-Jurgen Siegert und Bernd Wolfinger fur viele wichtige Ratschlage, Werner Pohlmann und zahlreichen Studenten fur Hinweise auf Fehler und Verstandnisschwierigkeiten und den vielen, die mit Geduld und Verstandnis Manuskript und druckfertigen Text hergestellt haben: Gabriele Diem, Ullrich Dillis, Heidrun Durry, Anita Graef, Monika Grimm und Anne Christi ne Hogrefe. Munchen/Hamburg, Juni 1986 Jessen Eike Rudiger Va1k Wer sich der Praxis hingibt ohne Wissenschaft ist wie der Steuennann, der ein Schiff ohne Ruder und Kompass besteigt und nie weiss, wohin er fahrt.