Carl Adam Petri: Ideas, Personality, Impact
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Chapters include research updates, personal memories, and comments on current applications Editors and authors are the leading authorities on the theory and applications of Petri nets Interesting for researchers and historians in theoretical computer science
Autor*in
Wolfgang Reisig
Themen in »Carl Adam Petri: Ideas, Personality, Impact«
Petri Nets Concurrency Biology Distributed Systems Verification Model Checking Logical Calculi