This book constitutes the refereed proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN 2004, held in Bologna, Italy in June 2004.The 19 revised full regular papers and 5 revised tool presentation papers presented together with 6 invited papers were carefully reviewed and selected from 62 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, modular systems development, formal specification, model validation, model checking, workflow management,...

Contains the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. This title discusses tools supporting the design of petri nets as well as their modification and analysis. It covers the relationship of petri nets to other concurrency models. It presents the results in the application and theory of petri nets.

This volume, Petri Net Technology for Communication-Based Systems, is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems, withspecialfocusonwork?owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technology in Berlin in close cooperation with the international c- munity. The main results of this cooperation were presented at the 1st and 2nd...

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. In May 2010, Yuri celebrated his 70th birthday. To mark that occasion, on August 22, 2010, a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations...

The emerging, multi-disciplinary field of systems biology is devoted to the study of the relationships between various parts of a biological system, and computer modeling plays a vital role in the drive to understand the processes of life from an holistic viewpoint. Advancements in experimental technologies in biology and medicine have generated an enormous amount of biological data on the dependencies and interactions of many different molecular cell processes, fueling the development of numerous computational methods for exploring this data. The mathematical formalism of Petri net theory is...

Die Informatik ist eine junge Wissenschaft, die sich durch einen rasanten technischen Fortschritt auszeichnet. Dadurch wird haufig ubersehen, dass aktuelle Themen eine teilweise lange Entwicklungsgeschichte durchlaufen haben.

Informatikprofessoren der Humboldt-Universitat zu Berlin haben zu einigen ihrer aktuellen Arbeitsgebiete die Entwicklungslinien von den Anfangen bis Gegenwart mit einem Ausblick auf die mogliche Zukunft aufgezeichnet.

Dieser spannende und lehrreiche Einblick in die Informatik offnet die Tur zu einem umfassenden und nicht nur technologisch gepragten...

Petrinetze haben sich als Modellierungstechnik fur informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermassen beliebt.
Die Inhalte werden ausserst anschaulich dargestellt; nur zum prazisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; fur Varianten, Zusatze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Losungen der Ubungsaufgaben, Diskussionsforen etc. stehen in digitaler Form...

1 d Petrinetze sind fur 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 fuhrt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schliesslich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstande und Invarianten ausfuhrlich besprochen - also Methoden, die nicht auf...

Petri Nets represent a long and sustained effort- to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in- formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers...

Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri 1]. Since this seminal paper, nets have been applied in various areas, at the same time being modified and theoretically investigated. In recent time, computer scientists are taking a broader interest in net theory. The main concern of this book is the presentation of those parts of net theory which can serve as a basis for practical application. It introduces the basic net theoretical concepts and ways of thinking, motivates them by means of examples and derives...