Advertisement

Carl Adam Petri: Ideas, Personality, Impact

  • Wolfgang Reisig
  • Grzegorz Rozenberg
Book

Table of contents

  1. Front Matter
    Pages i-ix
  2. Perspectives on Petri’s Work

    1. Front Matter
      Pages 1-1
    2. Wil M. P. van der Aalst
      Pages 3-9
    3. Einar Smith
      Pages 11-16
    4. Giorgio De Michelis
      Pages 17-23
    5. Kees M. van Hee
      Pages 25-29
    6. Dirk Fahland
      Pages 31-36
    7. David de Frutos Escrig
      Pages 67-72
  3. Personal Recollections

    1. Front Matter
      Pages 79-79
    2. Kurt Jensen, Mogens Nielsen
      Pages 81-84
    3. Javier Esparza
      Pages 97-103
    4. Brian Randell
      Pages 105-109
  4. Technical Themes

    1. Front Matter
      Pages 117-117
    2. Jörg Desel
      Pages 119-132
    3. Roberto Gorrieri
      Pages 141-146
    4. Ekkart Kindler
      Pages 155-160
    5. Peter Chini, Roland Meyer
      Pages 161-169
  5. Connecting to Other Areas

About this book

Introduction

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.

Keywords

Petri Nets Concurrency Biology Distributed Systems Verification Model Checking Logical Calculi

Editors and affiliations

  • Wolfgang Reisig
    • 1
  • Grzegorz Rozenberg
    • 2
  1. 1.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany
  2. 2.Leiden Institute of Advanced Computer ScienceLeiden UniversityLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-96154-5
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-96153-8
  • Online ISBN 978-3-319-96154-5
  • Buy this book on publisher's site