Abstract is missing.
- Object Oriented Modeling with Object Petri NetsCharles Lakos. 1-37 [doi]
- Using Petri Nets for Specifying Active Objects and Generative CommunicationTom Holvoet, Pierre Verbaeten. 38-72 [doi]
- Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 FormalismO. Biberstein, Didier Buchs, Nicolas Guelfi. 73-130 [doi]
- CLOWN as a Testbed for Concurrent Object-Oriented ConceptsEugenio Battiston, A. Chizzoni, Fiorella de Cindio. 131-163 [doi]
- Concurrency in Communicating Object Petri NetsRüdiger Valk. 164-195 [doi]
- Object Orientation in Hierarchical Predicate Transition NetsXudong He, Yingjia Ding. 196-215 [doi]
- CoOperative Objects: Principles, Use and ImplementationChristophe Sibertin-Blanc. 216-246 [doi]
- OB(PN):::2:::: An Object Based Petri Net Programming NotationJohan Lilius. 247-275 [doi]
- On Formalizing UML with High-Level Petri NetsLuciano Baresi, Mauro Pezzè. 276-304 [doi]
- Modeling a Groupware Editing Tool with Cooperative ObjectsRémi Bastide, Philippe A. Palanque. 305-318 [doi]
- Modeling Constrained Geometric Objects with OBJSA NetsMaria Alberta Alberti, Paolo Evi, Daniele Marini. 319-227 [doi]
- An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing EnvironmentDalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich. 338-354 [doi]
- KRON: Knowledge Engineering Approach Based on the Integration of CPNs with ObjectsJosé A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel, F. J. Zarazaga. 355-374 [doi]
- Modeling of a Library with THORNsFrank Köster, Stefan Schöf, Michael Sonnenschein, Ralf Wieting. 375-390 [doi]
- Inheritance of Dynamic Behavior: Development of a Groupware EditorTwan Basten, Wil M. P. van der Aalst. 391-405 [doi]
- Object Coloured Petri Nets - A Formal Technique for Object Oriented ModelingChristoph Maier, Daniel Moldt. 406-427 [doi]
- An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case StudyMauro Gaspari, Gianluigi Zavattaro. 428-444 [doi]
- Formal Reasoning about Actor Programs Using Temporal LogicSusanne Schacht. 445-460 [doi]
- Flexible Types for a Concurrent ModelFranz Puntigam. 461-472 [doi]
- High Level Transition Systems for Communicating AgentsFrançois Vernadat, Pierre Azéma. 473-492 [doi]
- Schedulability Analysis of Real Time Actor Systems Using Coloured Petri NetsLibero Nigro, Francesco Pupo. 493-513 [doi]
- Control Properties in Object-Oriented SpecificationsA. Diagne. 514-533 [doi]
- A Cooperative Petri Net EditorRémi Bastide, Charles Lakos, Philippe A. Palanque. 534-535 [doi]
- The Hurried PhilosophersChristophe Sibertin-Blanc. 536-538 [doi]