Skip to main content
SpringerLink
Log in

Concurrent Object-Oriented Programming and Petri Nets

Advances in Petri Nets

  • Book
  • © 2001

Overview

Editors:
  1. Gul A. Agha

    1. Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fiorella Cindio

    1. Computer Science Department, University of Milan, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grzegorz Rozenberg

    1. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 chapters)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Section I

    1. Object Oriented Modelling with Object Petri Nets

      • Charles Lakos
      Pages 1-37

    2. Using Petri Nets for Specifying Active Objects and Generative Communication

      • Tom Holvoet, Pierre Verbaeten
      Pages 38-72

    3. Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism

      • Olivier Biberstein, Didier Buchs, Nicolas Guelfi
      Pages 73-130

    4. CLOWN as a Testbed for Concurrent Object-Oriented Concepts

      • Eugenio Battiston, Alfredo Chizzoni, Fiorella De Cindio
      Pages 131-163

    5. Concurrency in Communicating Object Petri Nets

      • Rüdiger Valk
      Pages 164-195

    6. Object Orientation in Hierarchical Predicate Transition Nets

      • Xudong He, Yingjia Ding
      Pages 196-215

    7. CoOperative Objects: Principles, Use and Implementation

      • C. Sibertin-Blanc
      Pages 216-246

    8. OB(PN)2: An Object Based Petri Net Programming Notation

      • Johan Lilius
      Pages 247-275

    9. On Formalizing UML with High-Level Petri Nets

      • Luciano Baresi, Mauro Pezzè
      Pages 276-304

  3. Section II

    1. Modeling a Groupware Editing Tool with Cooperative Objects

      • Rémi Bastide, Philippe Palanque
      Pages 305-318

    2. Modelling Constrained Geometric Objects with OBJSA Nets

      • Maria Alberta Alberti, Paolo Evi, Daniele Marini
      Pages 319-337

    3. An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment

      • Dalton Serey Guerrero, Jorge C.A. de Figueiredo, Angelo Perkusich
      Pages 338-354

    4. KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects

      • J.A. Bãnares, P.R. Muro-Medrano, J.L. Villarroel, F.J. Zarazaga
      Pages 355-374

    5. Modeling of a Library with THORNs

      • Frank Köster, Stefan Schöf, Michael Sonnenschein, Ralf Wieting
      Pages 375-390

    6. Inheritance of Dynamic Behavior Development of a Groupware Editor

      • Twan Basten, Wil M.P. van der Aalst
      Pages 391-405

    7. Object Coloured Petri Nets - A Formal Technique for Object Oriented Modelling

      • Christoph Maier, Daniel Moldt
      Pages 406-427

  4. Section III

    1. An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study

      • Mauro Gaspari, Gianluigi Zavattaro
      Pages 428-444

    2. Formal Reasoning about Actor Programs Using Temporal Logic

      • Susanne Schacht
      Pages 445-460

    3. Flexible Types for a Concurrent Model

      • Franz Puntigam
      Pages 461-472
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA

    Gul A. Agha

  • Computer Science Department, University of Milan, Milan, Italy

    Fiorella Cindio

  • Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation