Articoli correlati a Concurrent Object-Oriented Programming and Petri Nets:...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Section I.- Object Oriented Modelling with Object Petri Nets.- Using Petri Nets for Specifying Active Objects and Generative Communication.- Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.- CLOWN as a Testbed for Concurrent Object-Oriented Concepts.- Concurrency in Communicating Object Petri Nets.- Object Orientation in Hierarchical Predicate Transition Nets.- CoOperative Objects: Principles, Use and Implementation.- OB(PN)2: An Object Based Petri Net Programming Notation.- On Formalizing UML with High-Level Petri Nets.- Section II.- Modeling a Groupware Editing Tool with Cooperative Objects.- Modelling Constrained Geometric Objects with OBJSA Nets.- An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.- KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects.- Modeling of a Library with THORNs.- Inheritance of Dynamic Behavior Development of a Groupware Editor.- Object Coloured Petri Nets - A Formal Technique for Object Oriented Modelling.- Section III.- An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.- Formal Reasoning about Actor Programs Using Temporal Logic.- Flexible Types for a Concurrent Model.- High Level Transition Systems for Communicating Agents.- Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets.- Control Properties in Object-Oriented Specifications.- Case Studies.- A Cooperative Petri Net Editor.- The Hurried Philosophers.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 105,26
EUR 2,28 per la spedizione in U.S.A.
Destinazione, tempi e costi
Risultati della ricerca per Concurrent Object-Oriented Programming and Petri Nets:...
Immagini fornite dal venditore
Concurrent Object-Oriented Programming and Petri Nets. Advances in Petri Nets.
Editore:
Berlin, Springer-Verlag Berlin Heidelberg, 2001
ISBN 10: 354041942X
ISBN 13: 9783540419426
Antico o usato
Softcover
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783540419426 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2341115
Quantità: 1 disponibili
Immagini fornite dal venditore
Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 915890-n
Quantità: 15 disponibili
Foto dell'editore
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science, 2001)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020166839
Quantità: Più di 20 disponibili
Foto dell'editore
Concurrent Object-Oriented Programming and Petri Nets (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2001
ISBN 10: 354041942X
ISBN 13: 9783540419426
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783540419426
Quantità: 1 disponibili
Immagini fornite dal venditore
Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 915890
Quantità: 15 disponibili
Foto dell'editore
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science, 2001)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540419426_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Concurrent Object-Oriented Programming and Petri Nets
Editore:
Springer Berlin Heidelberg Apr 2001, 2001
ISBN 10: 354041942X
ISBN 13: 9783540419426
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 552 pp. Englisch. Codice articolo 9783540419426
Quantità: 2 disponibili
Immagini fornite dal venditore
Concurrent Object-Oriented Programming and Petri Nets
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 con. Codice articolo 4889533
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Concurrent Object-Oriented Programming and Petri Nets
ISBN 10: 354041942X
ISBN 13: 9783540419426
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 552 pp. Englisch. Codice articolo 9783540419426
Quantità: 2 disponibili
Immagini fornite dal venditore
Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets
Editore:
Springer Berlin Heidelberg, 2001
ISBN 10: 354041942X
ISBN 13: 9783540419426
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540419426
Quantità: 1 disponibili