Date: Thu, 13 Jun 1996 16:57:41 +0200
To: PetriNets@daimi.aau.dk
From: chizzoni@dsi.unimi.it (Alfredo Chizzoni)
Subject: OOMC96 final program

Dear colleagues,
here follows the final program of the "2nd Workshop on Object Orientation
and Models of Concurrency" to be held within the "17th International
conference on Petri nets".

More information will be soon available at the following URL:

http://wrcm.dsi.unimi.it/PetriLab/petrilab.html

See you in Osaka,
Alfredo
-------------------

9:00 - 9:15   Opening

9:15 - 10:30
The Cooperative Editor Case Study (I)

R. Bastide and P. Palanque
Modeling a groupware editing tool with Cooperative Objects

E. Battiston, A. Chizzoni and F. De Cindio
Modeling a cooperative development environment with CLOWN.

O. Biberstein, D. Buchs
Modeling of Cooperative Editors using CO-OPN/2

10:30 - 11:00 COFFEE BREAK

11:00 - 11:50
The Cooperative Editor Case Study (II)

C. Lakos
A cooperative editor for Hierarchical Diagrams: An object Petri net model.

A. Perkusich, J. de Figueiredo
Modeling a Multi-Agent Cooperative Graphical Editor with a Class of Object
Oriented Petri Net.

11:50 - 12:30
Discussion over the presented solutions

12:30 - 14:00  LUNCH BREAK

14:00 - 14:50
The Hurried Philosophers Case Study

Xudong He and Yingjia Ding
Object-oriented specification using hierarchical predicate transition nets.

Tom Holvoet
Using Petri nets for specifying active objects and generative communication

14:50 - 15:15
Discussion over the presented solutions

15:15 - 15:45 COFFEE BREAK

15:45 - 16:45
Other proposals

J. Lilius
OOB(PN)2: An object-oriented Petri net programming notation (A status report)

A. Tokmakoff and J. Billington
A Coloured Petri Net Model of an Open Object-based System

Discussion

16:45 - 17:30
Closing Section: The outcome of the two Workshop on OOP and Models of
Concurrency