Stop the war!
Остановите войну!
for scientists:
default search action
Concurrent Object-Oriented Programming and Petri Nets 2001
- Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg:
Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2001, Springer 2001, ISBN 3-540-41942-X
Section I
- Charles Lakos:
Object Oriented Modeling with Object Petri Nets. 1-37 - Tom Holvoet, Pierre Verbaeten:
Using Petri Nets for Specifying Active Objects and Generative Communication. 38-72 - O. Biberstein, Didier Buchs, Nicolas Guelfi:
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. 73-130 - Eugenio Battiston, A. Chizzoni, Fiorella de Cindio:
CLOWN as a Testbed for Concurrent Object-Oriented Concepts. 131-163 - Rüdiger Valk:
Concurrency in Communicating Object Petri Nets. 164-195 - Xudong He, Yingjia Ding:
Object Orientation in Hierarchical Predicate Transition Nets. 196-215 - Christophe Sibertin-Blanc:
CoOperative Objects: Principles, Use and Implementation. 216-246 - Johan Lilius:
OB(PN)2: An Object Based Petri Net Programming Notation. 247-275 - Luciano Baresi, Mauro Pezzè:
On Formalizing UML with High-Level Petri Nets. 276-304
Section II
- Rémi Bastide, Philippe A. Palanque:
Modeling a Groupware Editing Tool with Cooperative Objects. 305-318 - Maria Alberta Alberti, Paolo Evi, Daniele Marini:
Modeling Constrained Geometric Objects with OBJSA Nets. 319-227 - Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich:
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment. 338-354 - José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel, F. J. Zarazaga:
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects. 355-374 - Frank Köster, Stefan Schöf, Michael Sonnenschein, Ralf Wieting:
Modeling of a Library with THORNs. 375-390 - Twan Basten, Wil M. P. van der Aalst:
Inheritance of Dynamic Behavior: Development of a Groupware Editor. 391-405
Section III
- Christoph Maier, Daniel Moldt:
Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling. 406-427 - Mauro Gaspari, Gianluigi Zavattaro:
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. 428-444 - Susanne Schacht:
Formal Reasoning about Actor Programs Using Temporal Logic. 445-460 - Franz Puntigam:
Flexible Types for a Concurrent Model. 461-472 - François Vernadat, Pierre Azéma:
High Level Transition Systems for Communicating Agents. 473-492 - Libero Nigro, Francesco Pupo:
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. 493-513 - A. Diagne:
Control Properties in Object-Oriented Specifications. 514-533
Section IV
- Rémi Bastide, Charles Lakos, Philippe A. Palanque:
A Cooperative Petri Net Editor. 534-535 - Christophe Sibertin-Blanc:
The Hurried Philosophers. 536-538
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.