WorldCat Identities

Reisig, Wolfgang 1950-

Overview
Works: 160 works in 526 publications in 5 languages and 7,190 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, htt, dgs, Contributor, Other
Classifications: QA267, 511
Publication Timeline
.
Most widely held works by Wolfgang Reisig
Petri nets : an introduction by Wolfgang Reisig( Book )

41 editions published between 1982 and 2016 in 4 languages and held by 840 WorldCat member libraries worldwide

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 key properties 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
Elements of distributed algorithms : modeling and analysis with Petri nets by Wolfgang Reisig( )

18 editions published between 1997 and 2011 in English and German and held by 768 WorldCat member libraries worldwide

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
Modeling in systems biology : the Petri net approach by Ina Koch( )

18 editions published between 2010 and 2011 in English and German and held by 517 WorldCat member libraries worldwide

This essential reference presents a comprehensive overview of cutting-edge research in applications of Petri nets in systems biology. The book will enable readers to apply and develop their own biochemical models using Petri net techniques
Lectures on Petri nets : advances in Petri nets by Wolfgang Reisig( )

41 editions published in 1998 in 3 languages and held by 495 WorldCat member libraries worldwide

Annotation
Lectures on concurrency and Petri nets : advances in Petri nets by Advanced Course on Petri Nets( )

24 editions published in 2004 in English and held by 461 WorldCat member libraries worldwide

"This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstatt, Germany in September 2003." "In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state-of-the-art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well."--Jacket
Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004 : proceedings by J Cortadella( )

13 editions published in 2004 in English and held by 429 WorldCat member libraries worldwide

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, flow charts, networking, formal methods in software engineering, etc
Application and theory of Petri Nets, 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedings by Jonathan Billington( )

17 editions published in 1996 in English and held by 402 WorldCat member libraries worldwide

Annotation
A primer in Petri net design by Wolfgang Reisig( Book )

23 editions published between 1985 and 2013 in English and German and held by 384 WorldCat member libraries worldwide

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
Advances in Petri Nets, 1991 by Grzegorz Rozenberg( Book )

3 editions published in 1991 in English and held by 321 WorldCat member libraries worldwide

"The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries."--PUBLISHER'S WEBSITE
Lectures on Petri nets : advances in Petri nets by Wolfgang Reisig( )

23 editions published in 1998 in English and Spanish and held by 249 WorldCat member libraries worldwide

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
Carl Adam Petri: Ideas, Personality, Impact by Wolfgang Reisig( )

9 editions published in 2019 in English and held by 230 WorldCat member libraries worldwide

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
Informatik aktuelle Themen im historischen Kontext by Wolfgang Reisig( )

8 editions published in 2006 in German and held by 206 WorldCat member libraries worldwide

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
Petri Nets: Central Models and Their Properties : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8-19 September 1986 by Wilfried Brauer( )

8 editions published in 1987 in English and held by 200 WorldCat member libraries worldwide

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 many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets
Application and theory of Petri nets : selected papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23-26 September 1980, Bad Honnef, 28-30 September 1981 by Claude Girault( Book )

19 editions published in 1982 in English and German and held by 187 WorldCat member libraries worldwide

This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "Systemes Paralleles et Distribues" and the Gl Special Interest Group "Petrinetze und verwandte Systemmodelle", Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981. This volume contains contributions of these two workshops, The 1980 workshop in Strasbourg was partitioned into 6 topics : (1) Application of Nets to Realtime Systems, (2) Programming Languages and Software Engineering, (3) Information Flow and Concurrency, (4) Net Morphisms and High Level Petri Nets, (5) Mathematical Analysis and N et Languages, (6) Reliability and Recovery Issues, In this volume, the chairman of each topic gives a short introduction to his area whict should help to understand its specific problems and to in troduce the presented papers
Petrinetze : eine Einführung by Wolfgang Reisig( Book )

17 editions published between 1982 and 1991 in German and Undetermined and held by 173 WorldCat member libraries worldwide

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
Advances in Petri nets, 1986 : proceedings of an advanced course, Bad Honnef, September 1986 by Wilfried Brauer( Book )

9 editions published in 1987 in English and held by 153 WorldCat member libraries worldwide

Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien by Wolfgang Reisig( Book )

4 editions published in 2010 in German and held by 123 WorldCat member libraries worldwide

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 beliebt. Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit. Inhalt Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken Zielgruppe Studierende der Informatik an Universitäten und Fachhochschulen Der Autor Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday by Andreas Blass( Book )

14 editions published in 2010 in English and held by 88 WorldCat member libraries worldwide

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 of Computer Science (MFCS 2010) and of the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010). The meeting received generous support from Microsoft Research. In preparation for this 70th birthday event, we asked Yuri's colleagues (whether or not they were able to attend the symposium) to contribute to a volume in his honor. This book is the result of that e?ort. The collection of articles herein begins with an academic biography, an annotated list of Yuri's publications and reports, and a personaltribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles - though they cover a broad range of topics - represent only a fraction of Yuri's multiple areas of interest. Each contribution was reviewed by one or two readers. In this regard, the editors wish to thank several anonymous individuals for their assistance
Petorinetto riron nyūmon : [heiretsu dōji shinkō no hyōgen to kaiseki] by Wolfgang Reisig( )

5 editions published between 1985 and 1988 in Japanese and English and held by 68 WorldCat member libraries worldwide

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 relations between them. Some extended examples ilƯ lustrate the method of application of nets. A major emphasis is devoted to those aspect which distinguish nets from other system models. These are for instance, the role of concurrency, an awareness of the finiteness of resources, and the posƯ sibility of using the same representation technique of different levels of abƯ straction. On completing this book the reader should have achieved a systemƯ atic grounding in the subject allowing him access to the net literature [25]. These objectives determined the subjects treated here. The presentation of the material here is rather more axiomatic than inƯ ductive. We start with the basic notions of 'condition' and 'event' and the conƯ cept of the change of states by (concurrently) occurring events. By generaliƯ zation of these notions a part of the theory of nets is presented
Petrinetze e. Einf by Wolfgang Reisig( Book )

2 editions published between 1982 and 1986 in German and held by 58 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.34 for Elements o ... to 0.90 for Petrinetze ...)

WorldCat IdentitiesRelated Identities
Lectures on concurrency and Petri nets : advances in Petri nets
Covers
Elements of distributed algorithms : modeling and analysis with Petri netsModeling in systems biology : the Petri net approachLectures on Petri nets : advances in Petri netsLectures on concurrency and Petri nets : advances in Petri netsApplications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004 : proceedingsApplication and theory of Petri Nets, 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedingsA primer in Petri net designAdvances in Petri Nets, 1991
Alternative Names
Reisig, W.

Reisig, W. 1950-

Reisig, W. (Wolfgang), 1950-

Wolfgang Reisig Dr. Rheinisch-Westfälische Technische Hochschule Aachen 1979

ライシッヒ, W

ライシッヒ, ヴォルフガング

Languages