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.
Mục lục
Introduction.- Infancy and Youth.- University, Academe, Family.- Thesis on Automata.- The Maturing Years.- GMD – Home of the Petri Nets.- Net Foldings.- Morphisms and Topology.- Non-Sequential Processes and Concurrency Theory.- Communication Disciplines.- Theory of Measurement.- The Prosperity Years.- The Late Years.- References.- Index
Giới thiệu về tác giả
Einar Smith Graduation in mathematics and computer science, University of Bonn; social economy, University of Oslo. Ph D dissertation in computer science 1989, University of Hamburg. From 1984 affiliated with the Gesellschaft für Mathematik und Datenverarbeitung (GMD, German National Center for Mathematics and Computer Science), later Fraunhofer Insitute, Sankt Augustin near Bonn, research field Petri nets. From 1989 lecture activities on Petri nets and theoretical computer science at the Univesities of Koblenz, Berlin (Humboldt-University) and Campina Grande, Brazil. Lecture activities on applied mathematics at the Universities of Cologne and Bonn. Author of a text-book on the Theory of Computability, Springer-Verlag 1996.
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
850 Ebooks trong thể loại này
