Carl Adam Petri : life and science / Einar Smith ; [translated from the German by the author and Tim Denvir]
The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an in-depth discussion of the background behind Petri's best-known contribution to computer science, the Petri net. In this...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | |
| Other title: | Carl Adam Petri - Eine Biographie. English. |
| Format: | eBook |
| Language: | English German |
| Published: |
Heidelberg :
Springer,
2015.
|
| Subjects: |
MARC
| LEADER | 00000cam a2200000xi 4500 | ||
|---|---|---|---|
| 001 | b8489033 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 151103t20152015gw a ob 001 0beng d | ||
| 005 | 20240418151141.6 | ||
| 019 | |a 931592848 | ||
| 020 | |a 9783662480939 |q electronic bk | ||
| 020 | |a 366248093X |q electronic bk | ||
| 020 | |z 9783662480922 | ||
| 020 | |z 3662480921 |q (print) | ||
| 020 | |z 9783662480922 |q (print) | ||
| 024 | 7 | |a 10.1007/978-3-662-48093-9 | |
| 035 | |a (OCoLC)spr927404671 | ||
| 035 | |a (OCoLC)927404671 |z (OCoLC)931592848 | ||
| 037 | |a spr10.1007/978-3-662-48093-9 | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d IDEBK |d OCLCO |d YDXCP |d EBLCP |d OCLCO |d OCLCF |d OCLCO |d GZM |d OCLCO |d COO |d GW5XE |d OCLCO |d SNK | ||
| 041 | 1 | |a eng |h ger | |
| 043 | |a e-gx--- | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA29.P48 |b S65 2015 | |
| 100 | 1 | |a Smith, Einar, |e author. |0 http://id.loc.gov/authorities/names/n91077619 |1 http://isni.org/isni/0000000032518331. | |
| 240 | 1 | 0 | |a Carl Adam Petri - Eine Biographie. |l English. |
| 245 | 1 | 0 | |a Carl Adam Petri : |b life and science / |c Einar Smith ; [translated from the German by the author and Tim Denvir] |
| 264 | 1 | |a Heidelberg : |b Springer, |c 2015. | |
| 264 | 4 | |c ©2015. | |
| 300 | |a 1 online resource (xi, 128 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 504 | |a Includes bibliographical references (pages 123-124) and index. | ||
| 505 | 0 | |a Foreword; Preface; Contents; 1 Introduction; 1.1 Petri Nets; 1.2 Concurrency, Sequence and Conflict; 1.3 The Four Seasons; 1.4 Distributed Access; 1.5 Literature; 1.6 The Petri Puzzle; 2 Infancy and Youth; Contents; 2.1 Preschool; 2.2 Machtergreifung: The Nazi's Seizure of Power; 2.3 Elementary School; 2.4 Grammar School; 2.5 First Encounter with the Theory of Knowledge; 2.6 Natural Sciences; 2.7 Artillery Assistant; 2.8 Air Force; 2.9 War Captivity; 3 University, Academe, Family; Contents; 3.1 School Graduation: Take 3!; 3.2 Student Years; 3.3 Hannover Computer Center; 3.4 Family; 3.5 Bonn. | |
| 505 | 8 | |a 4 Thesis on AutomataContents; 4.1 Communication with Automata; 4.2 Alternative Approaches; 4.3 Impact of the Thesis; 5 The Maturing Years; Contents; 5.1 Asynchronous Information Flow; 5.2 The Bonn Computer Center; 5.3 Israel; 5.4 America; 5.5 Physical Determinism; 5.6 Reversible Logic; 6 GMD: Home of the Petri Nets; Contents; 6.1 Bonn or Munich?; 6.2 Bonn; 6.3 The GMD Under Criticism; 6.4 Condition-Event Systems; 6.5 Confusion; 6.6 Contact; 6.7 Synchronic Distance; 6.8 Enlogic Structure; 6.9 Place-Transition Nets; 6.10 Dissemination; 7 Net Foldings, Morphisms and Topology; Contents. | |
| 505 | 8 | |a 7.1 Foldings7.2 Net Topology; 7.3 Petri and Zuse; 8 Non-Sequential Processes and Concurrency Theory; Contents; 8.1 Basic Concepts; 8.2 Signal Spaces; 8.3 Discrete Density; 8.4 Discrete Completeness; 8.5 Combinatorial Mathematics; 9 Communication Disciplines; Contents; 9.1 The Map; 9.2 The Disciplines; 9.3 Channel-Instance Nets; 10 Theory of Measurement; Contents; 10.1 Classical View; 10.2 Petri's Approach; 10.3 Empirical Indifference; 10.4 Reference Scales; 10.5 Petri's Double Scale; 10.6 Conflict and Confusion; 10.7 The Two Roots of Concurrency Theory. | |
| 505 | 8 | |a 10.8 Complete K-Dense Measurement Scales10.9 Repercussions of Measurement Orders on Processes; 11 The Prosperity Years; Contents; 11.1 Other Institute Activities; 11.2 Time and Stochastic Processes; 11.3 Advanced Course; 11.4 Awards and Distinctions; 11.5 Werner von Siemens Ring; 11.6 Further Awards; 12 The Late Years; Contents; 12.1 Pensioner; 12.2 Net Theoretical Foundations of Physics; 12.3 Formal Pragmatics; 12.4 Closing Remarks; Bibliography; Index. | |
| 520 | |a The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an in-depth discussion of the background behind Petri's best-known contribution to computer science, the Petri net. In this way the book can be read as a first introduction to nets, but it also covers the theoretical, physical and philosophical foundations behind nets, thus facilitating a comprehensive understanding of the wider range of Petri's works. The book is intended for readers with a previous knowledge in computer science, as well as for ℓ́ℓinterested non-professionalsℓ́ℓ, who want to get to know a remarkable personality of contemporary science. | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed November 5, 2015) | |
| 600 | 1 | 0 | |a Petri, Carl Adam. |0 http://id.loc.gov/authorities/names/n86833838 |1 http://isni.org/isni/000000038253063X. |
| 600 | 1 | 7 | |a Petri, Carl Adam. |2 fast |0 (OCoLC)fst00178198. |
| 650 | 0 | |a Mathematicians |z Germany |v Biography. |0 http://id.loc.gov/authorities/subjects/sh2008107558. | |
| 650 | 0 | |a Electronic data processing |z Germany |x History. | |
| 650 | 7 | |a Electronic data processing. |2 fast |0 (OCoLC)fst00906956. | |
| 650 | 7 | |a Mathematicians. |2 fast |0 (OCoLC)fst01012154. | |
| 651 | 7 | |a Germany. |2 fast |0 (OCoLC)fst01210272. | |
| 655 | 7 | |a Biography. |2 fast |0 (OCoLC)fst01423686. | |
| 655 | 7 | |a History. |2 fast |0 (OCoLC)fst01411628. | |
| 700 | 1 | |a Denvir, Tim, |d 1939- |e translator. |0 http://id.loc.gov/authorities/names/n92021147 |1 http://isni.org/isni/0000000110658437. | |
| 776 | 0 | 8 | |i Print version: |a Smith, Einar |t Carl Adam Petri : Life and Science |d Berlin, Heidelberg : Springer Berlin Heidelberg,c2015 |z 9783662480922. |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-48093-9 |z Full Text (via Springer) |
| 907 | |a .b84890332 |b 03-19-20 |c 12-01-15 | ||
| 998 | |a web |b 05-01-17 |c g |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b84890332 |b 07-02-19 |c 12-01-15 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b84890332 |b 07-06-17 |c 12-01-15 | ||
| 907 | |a .b84890332 |b 05-23-17 |c 12-01-15 | ||
| 915 | |a I | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2015 English International | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Computer Science eBooks 2015 English International | ||
| 999 | f | f | |i 0c9e74b1-87ee-55c2-ae47-a278aed7adce |s b33fb767-4765-598b-987b-f7e857184fdf |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA29.P48 S65 2015 |h Library of Congress classification |i Ebooks, Prospector |n 1 |