{"title":"Wolfgang Reisig","description":null,"products":[{"product_id":"quantum-plasmadynamics-book-wolfgang-reisig-9780387520445","title":"Quantum Plasmadynamics","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49809994350865,"sku":"CIN0387520449G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387520449.jpg?v=1751357939"},{"product_id":"carl-adam-petri-ideas-personality-impact-book-wolfgang-reisig-9783319961538","title":"Carl Adam Petri: Ideas, Personality, Impact","description":"This book offers an overview of the key ideas of Petri nets, how they were developed, and how they were applied in diverse applications.    The chapters in the first part offer individual perspectives on the impact of Petri’s work. The second part of the book contains personal memories from researchers who collaborated with him closely, in particular they recount his unique personality. The chapters in the third part offer more conventional treatments on various aspects of current Petri net research, and the fourth part examines the wide applications of Petri nets, and the relationships with other domains.  The editors and authors are the leading researchers in this domain, and this book will be a valuable insight for researchers in computer science, particularly those engaged with concurrency and distributed systems.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50397338829073,"sku":"CIN3319961535G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52584407138577,"sku":"NLS9783319961538","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319961535.jpg?v=1750806173"},{"product_id":"understanding-petri-nets-book-wolfgang-reisig-9783662523070","title":"Understanding Petri Nets","description":"With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature that complements the extensive implementation experience.  In this book the author presents a clear, thorough introduction to the essentials of Petri nets. He explains the core modeling techniques and analysis methods and he illustrates their usefulness with examples and case studies. Part I describes how to use Petri nets for modeling; all concepts are explained with the help of examples, starting with a generic, powerful model which is also intuitive and realistic. Part II covers the essential analysis methods that are specific to Petri nets, introducing techniques used to formulate keyproperties of system nets and algorithms for proving their validity. Part III presents case studies, each introducing new concepts, properties and analysis techniques required for very different modeling tasks. The author offers different paths among the chapters and sections: the elementary strand for readers who wish to study only elementary nets; the modeling strand for those who wish to study the modeling but not the analysis of systems; and finally the elementary models of the modeling strand for those interested in technically simple, but challenging examples and case studies.  The author achieves an excellent balance between consistency, comprehensibility and correctness in a book of distinctive design. Among its characteristics, formal arguments are reduced to a minimum in the main text with many of the theoretical formalisms moved to an appendix, the explanations are supported throughout with fully integrated graphical illustrations, and each chapter ends with exercises and recommendations for further reading.    The book is suitable for students of computer science and related subjects such as engineering, and for a broad range of researchers and practitioners.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":52102205964561,"sku":"GOR014480320","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52481191477521,"sku":"NLS9783662523070","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662523070.jpg?v=1757095957"},{"product_id":"elements-of-distributed-algorithms-book-wolfgang-reisig-9783540627524","title":"Elements of Distributed Algorithms","description":"Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms. The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126139351313,"sku":"NLS9783540627524","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540627524.jpg?v=1757472705"},{"product_id":"lectures-on-petri-nets-ii-applications-book-wolfgang-reisig-9783540653073","title":"Lectures on Petri Nets II: Applications","description":"The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.  Together with its companion volume \"Lectures on Petri Nets I: Basic Models\" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are  - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area  - interested in learning about recent results presented within a unified framework  - planning to apply Petri nets in practical situations  - interested in the relationship of Petri nets to other models of concurrent systems.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128456343825,"sku":"NLS9783540653073","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540653073.jpg?v=1757491313"},{"product_id":"lectures-on-petri-nets-i-basic-models-book-wolfgang-reisig-9783540653066","title":"Lectures on Petri Nets I: Basic Models","description":"The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.  Together with its companion volume \"Lectures on Petri Nets II: Applications\" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are  - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area  - interested in learning about recent results presented within a unified framework  - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52149125120273,"sku":"NLS9783540653066","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540653066.jpg?v=1757605786"},{"product_id":"informatik-book-wolfgang-reisig-9783540327424","title":"Informatik","description":"Die Informatik ist eine junge Wissenschaft, die sich durch einen rasanten technischen Fortschritt auszeichnet. Dadurch wird häufig übersehen, dass aktuelle Themen eine teilweise lange Entwicklungsgeschichte durchlaufen haben.   Informatikprofessoren der Humboldt-Universität zu Berlin haben zu einigen ihrer aktuellen Arbeitsgebiete die Entwicklungslinien von den Anfängen bis Gegenwart mit einem Ausblick auf die mögliche Zukunft aufgezeichnet.    Dieser spannende und lehrreiche Einblick in die Informatik öffnet die Tür zu einem umfassenden und nicht nur technologisch geprägten Verständnis.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52339676741905,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52339677593873,"sku":"NLS9783540327424","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540327424.jpg?v=1758169980"},{"product_id":"petrinetze-book-wolfgang-reisig-9783540166221","title":"Petrinetze","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52404279345425,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52404279705873,"sku":"NLS9783540166221","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540166221.jpg?v=1758763720"},{"product_id":"elements-of-distributed-algorithms-book-wolfgang-reisig-9783642083037","title":"Elements of Distributed Algorithms","description":"Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms. The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52481321795857,"sku":"NLS9783642083037","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52976885137681,"sku":"NIN9783642083037","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642083037.jpg?v=1759851563"},{"product_id":"petri-nets-book-wolfgang-reisig-9783642699702","title":"Petri Nets","description":"Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. The main concern of this book is the presentation of those parts of net theory which can serve as a basis for practical application. By generali zation of these notions a part of the theory of nets is presented.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52622551974161,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52622552498449,"sku":"NLS9783642699702","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642699702.jpg?v=1761606445"},{"product_id":"systementwurf-mit-netzen-book-wolfgang-reisig-9783642954580","title":"Systementwurf mit Netzen","description":"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 verschiedene Netzmodelle betrachten, die jeweils fur die Modellierung spezieller Problemkreise zweckmaBig sind. Sie hangen untereinander durch gemeinsame Interpretationsmuster zusam- men und k6nnen insgesamt als eine Methodik zur Darstellung beliebiger Systeme in beliebigen Feinheitsgraden und Ausschnitten verstanden wer- den. Die einfachen und unmittelbar einleuchtenden Prinzipien der System- modellierung mit Netzen lassen eine anschauliche Darstellung dieser Me- thodik zu, die ohne aIle Mathematik auskommt. Der Text dieses Buches ging aus Kursen hervor, die der Autor fur Projekt- ingenieure und Projektmanager aus dem Bereich rechnerintegrierter Syste- me durchgefuhrt hat. Den Teilnehmem dieser Kurse, Herm Dipl.-Ing. G. Feistl und Herm Dipl.-Ing. H. Keil von der Siemens-Schule fur Mikrocom- puter in Dusseldorf sowie Herm Prof. W. Brauer und Herm Dr. P. Schnupp sei an dieser Stelle fur zahlreiche Hinweise gedankt, Herm Dipl.-Ing. Franz Goltz fur das sorgfaltige Zeichnen der Abbildungen und dem Springer- Verlag fur die gelungene Ausstattung des Buches.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52622591557905,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52622592082193,"sku":"NLS9783642954580","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642954580.jpg?v=1761606552"},{"product_id":"primer-in-petri-net-design-book-wolfgang-reisig-9783642753312","title":"A Primer in Petri Net Design","description":"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 immediately understandable principles of system modelling with nets makes it possible to provide an illustrated description of this method without going into the mathematics behind it. The text is based on courses the author developed for project engineers and project managers in the area of embedded computer systems.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52655692644625,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52655693201681,"sku":"NLS9783642753312","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642753312.jpg?v=1762221651"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-wolfgang-reisig.oembed","provider":"World of Books ","version":"1.0","type":"link"}