Object Oriented Modeling with Object Petri Nets / C. LakosSection I: |
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten |
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi |
CLOWN as a Testbed for Concurrent Object-Oriented Concepts / E. Battiston ; A. Chizzoni ; F. De Cindio |
Concurrency in Communicating Object Petri Nets / R. Valk |
Object Orientation in Hierarchical Predicate Transition Nets / X. He ; Y. Ding |
CoOperative Objects: Principles, Use and Implementation / C. Sibertin-Blanc |
OB(PN)2: An Object Based Petri Net Programming Notation / J. Lilius |
On Formalizing UML with High-Level Petri Nets / L. Baresi ; M. Pezzè |
Modeling a Groupware Editing Tool with Cooperative Objects / R. Bastide ; P. PalanqueSection II: |
Modeling Constrained Geometric Objects with OBJSA Nets / M. A. Alberti ; P. Evi ; D. Marini |
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment / D. S. Guerrero ; J. C. A. de Figueiredo ; A. Perkusich |
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects / J. A. Bañares ; P. R. Muro-Medrano ; J. L. Villarroel ; F. J. Zarazaga |
Modeling of a Library with THORNs / F. Köster ; S. Schöf ; M. Sonnenschein ; R. Wieting |
Inheritance of Dynamic Behavior: Development of a Groupware Editor / T. Basten ; W. M. P. van der Aalst |
Object Colored Petri Nets - A Formal Technique for Object Oriented Modeling / C. Maier ; D. Moldt |
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study / M. Gaspari ; G. ZavattaroSection III: |
Formal Reasoning about Actor Programs Using Temporal Logic / S. Schacht |
Flexible Types for a Concurrent Model / F. Puntigam |
High Level Transition Systems for Communicating Agents / F. Vernadat ; P. Azéma |
Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets / L. Nigro ; F. Pupo |
Control Properties in Object-Oriented Specifications / A. Diagne |
Case Studies / Section IV: |
A Cooperative Petri Net Editor |
The Hurried Philosophers |
Author Index |
Object Oriented Modeling with Object Petri Nets / C. LakosSection I: |
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten |
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi |