Produktnummer:
1880919ff4aef949e0840ecdd8978e375f
| Themengebiete: | Biology Concurrency Distributed Systems Logical Calculi Model Checking Petri Nets Verification |
|---|---|
| Veröffentlichungsdatum: | 06.06.2019 |
| EAN: | 9783319961538 |
| Sprache: | Englisch |
| Seitenzahl: | 249 |
| Produktart: | Gebunden |
| Herausgeber: | Reisig, Wolfgang Rozenberg, Grzegorz |
| Verlag: | Springer International Publishing |
Produktinformationen "Carl Adam Petri: Ideas, Personality, Impact"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen