Lecture Notes in Computer Science

Concurrent Object-Oriented Programming and Petri Nets

Advances in Petri Nets

Editors: Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-45397-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-41942-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • Object Oriented Modelling with Object Petri Nets

    Lakos, Charles

    Pages 1-37

  • Using Petri Nets for Specifying Active Objects and Generative Communication

    Holvoet, Tom (et al.)

    Pages 38-72

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

    Biberstein, Olivier (et al.)

    Pages 73-130

  • CLOWN as a Testbed for Concurrent Object-Oriented Concepts

    Battiston, Eugenio (et al.)

    Pages 131-163

  • Concurrency in Communicating Object Petri Nets

    Valk, Rüdiger

    Pages 164-195

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-540-45397-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA in USD
  • ISBN 978-3-540-41942-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Concurrent Object-Oriented Programming and Petri Nets
Book Subtitle
Advances in Petri Nets
Editors
  • Gul A. Agha
  • Fiorella De Cindio
  • Grzegorz Rozenberg
Series Title
Lecture Notes in Computer Science
Series Volume
2001
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45397-0
DOI
10.1007/3-540-45397-0
Softcover ISBN
978-3-540-41942-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 544
Topics