Slides from the MOCA'02 Workshop

This page contains slides from invited talks of MOCA'02.

Invited Talks

Software-Architectures for Agents and Mobile Robots
Hans-Dieter Burkhard
Slides: PDF, PowerPoint

Modelling with Coloured Petri Nets
Søren Christensen
Slides: PDF, PowerPoint

Regular Talks

Formal Model of Joint Achievement Intention
Mao Xin-jun
Slides: PDF, PowerPoint

Generic Multi-Agent Architectures for Multimedia Multimodal Dialogs
Hicham Djenidi
Slides: PDF

Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach
G. Franceschinis
Slides: PDF, PowerPoint

Towards Automated Checking of Component-Oriented Enterprise Applications
Marko Mäkelä
Slides: PDF

Executable Use Cases for Pervasive Healthcare
Jens Bæk Jørgensen
Slides: PDF, PowerPoint

Inheritance of Dynamic Behaviour in UML
W.M.P van der Aalst
Slides: PDF, PowerPoint

A Coloured Petri Net for a Multi Agent Application
Danny Weyns
Slides: PDF, PowerPoint

Modelling Mobility and Mobile Agents using Nets within Nets
Heiko Rölke
Slides: PDF


Last modified: Thu Sep 26 08:58:14 2002 -- CP-nets Webmaster
http://www.daimi.au.dk/CPnets/workshop02/moca/slides/