Limit search to available items
Book Cover
E-book
Author Smith, Einar, author

Title Carl Adam Petri : life and science / Einar Smith ; [translated from the German by the author and Tim Denvir]
Published Heidelberg : Springer, 2015
©2015
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xi, 128 pages) : illustrations
Contents 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
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
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
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
Summary 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
Bibliography Includes bibliographical references (pages 123-124) and index
Notes Online resource; title from PDF title page (EBSCO, viewed November 5, 2015)
Subject Petri, Carl Adam.
Electronic data processing -- Germany -- History.
Mathematicians -- Germany -- Biography.
Genre/Form Biography.
History.
Biographies.
Form Electronic book
Author Denvir, Tim, 1939- translator
ISBN 366248093X (electronic bk.)
9783662480939 (electronic bk.)
(print)
(print)
Other Titles Carl Adam Petri - Eine Biographie. English