| 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 |
| 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 |
