Petri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents variousnet models appropriate for designing specific systems, where systems are understood very generally as "organizational systems" in which regulatedflows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and...

"Systementwurf mit Netzen" lautet der Titel dieses Buches. Was ist darun ter zu verstehen? Genauer: was ist bier mit Systemen, was mit Netzen gemeint? Beginnen wir mit den Systemen: sie sind in diesem Buch sehr aIlgemein aufgefaBt als "organisatorische Systeme," in denen geregelte Flusse von Gegenstanden und Informationen bedeutsam sind. Unter den Netzen wie derum wollen wir bier solche verstehen, wie sie im Rahmen der Netztheorie nach C. A. Petri entwickelt wurden: sogenannte "Petrinetze." Diese Petri netze haben sich in der Praxis entschieden bewahrt. Wir werden im Verlauf des Buches...

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...

This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner.