Concurrent object oriented programming and Petri nets : advances in Petri nets | Agha, Gul A, De Cindio, Fiorella, Rozenberg, Grzegorz
Share on TelegramConcurrent object oriented programming and Petri nets : advances in Petri nets
Author: Agha, Gul A, De Cindio, Fiorella, Rozenberg, Grzegorz
Added by: sketch
Added Date: 2015-12-30
Publication Date: 2001
Language: eng
Subjects: Object-oriented programming (Computer science), Parallel processing (Electronic computers), Petri nets
Publishers: Berlin ; New York : Springer
Collections: journals contributions, journals
ISBN Number: 354041942X
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 330.83 MB
PDF Size: 59.14 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Edition: [Elektronische Ressource]
Downloads: 864
Views: 914
Total Files: 18
Media Type: texts
Description
Author: Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41942-6
DOI: 10.1007/3-540-45397-0
Table of Contents:
- 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
- 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
- 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
Includes bibliographical references and index