Concurrent Object-Oriented Programming and Petri Nets

Advances in Petri Nets

  • Gul A. Agha
  • Fiorella De Cindio
  • Grzegorz Rozenberg

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2001)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Section I

    1. Olivier Biberstein, Didier Buchs, Nicolas Guelfi
      Pages 73-130
    2. Eugenio Battiston, Alfredo Chizzoni, Fiorella De Cindio
      Pages 131-163
    3. Xudong He, Yingjia Ding
      Pages 196-215
    4. Luciano Baresi, Mauro Pezzè
      Pages 276-304
  3. Section II

    1. Rémi Bastide, Philippe Palanque
      Pages 305-318
    2. Maria Alberta Alberti, Paolo Evi, Daniele Marini
      Pages 319-337
    3. Dalton Serey Guerrero, Jorge C.A. de Figueiredo, Angelo Perkusich
      Pages 338-354
    4. J.A. Bãnares, P.R. Muro-Medrano, J.L. Villarroel, F.J. Zarazaga
      Pages 355-374
    5. Frank Köster, Stefan Schöf, Michael Sonnenschein, Ralf Wieting
      Pages 375-390
    6. Twan Basten, Wil M.P. van der Aalst
      Pages 391-405
  4. Section III

About this book

Introduction

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study.
This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.

Keywords

Groupware Unified Modeling Language (UML) calculus computer computer science concurrency distributed systems inheritance logic modeling object object-oriented programming object-oriented programming (OOP) petri net programming

Editors and affiliations

  • Gul A. Agha
    • 1
  • Fiorella De Cindio
    • 2
  • Grzegorz Rozenberg
    • 3
  1. 1.Department of Computer ScienceUniversity of Illinois at Urbana-ChampaignUrbanaUSA
  2. 2.Computer Science DepartmentUniversity of MilanMilanItaly
  3. 3.Leiden Institute of Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45397-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41942-6
  • Online ISBN 978-3-540-45397-0
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace