Slides from the MOCA'01 Workshop

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

Invited Talks

Petri Nets and Components, Extension by Restriction!
Ekkart Kindler
Slides (PostScript)

Applications of Petri Nets in Modelling Distributed Software Systems
Guido Wirtz
Slides (PDF)

Tutorials

Regular Talks

Modeling State-Dependent Objects using Coloured Petri Nets
Robert G. Pettit and Hassan Gomaa
Slides (PowerPoint)

Steps Towards Formal Verification of Agent-based E-Business Applications
Nick Szirbik and Gerd Wagner
Slides (PowerPoint)

A Calculus of Petri Net Components
N. Sidorova and M. Voorhoeve and J.C.S.P. van der Woude
Slides (PowerPoint)

Towards a Unified Approach for Modeling and Verification of Multi Agent Systems
Michael Köhler and Heiko Rölke
Slides (PostScript)

An Expressive Coloured Petri Nets Methodology Applied to a Business to Business Environment
Fernando Ramos, Juan Frausto, and Francisco Camargo
Slides (PDF)

Last modified: Fri Oct 12 10:12:31 2001 -- CP-nets Webmaster
http://www.daimi.au.dk/CPnets/workshop01/mocaslides/