AMAST Mail 1996
Advanced Course on Petri Nets

Subject: Advanced Course on Petri Nets
From: peuker@informatik.hu-berlin.de (Sibylle Peuker)
Date: Fri, 21 Jun 96 12:55 MESZ
This is an announcement of the
______________________________________

Advanced Course on Petri Nets
______________________________________

October 7-18, 1996
Schloss Dagstuhl, Germany


Background Week (October 7--11):
provides solid basic knowledge of the theory and applications of Petri nets

Advanced Week (October 14--18): presents most important trends in the theory
and applications of Petri nets


* Participation in one week only is possible
* Petri net tool exhibition and organized laboratories during the entire
course
* Scientifically stimulating and socially attractive atmosphere
* Good conference environment

Registration fee:
DM 450 (DM 400 for members of GI, AFCET, AICA, BCS and EATCS), half price
for one week

Full board lodging:
DM 350 for one week, DM 840 for both weeks

Deadline of application:  August 25, 1996


Course Directors:    W. Reisig, G. Rozenberg

Programme of the Background Week

Elementary Net Systems and Place/Transition Nets - G. Rozenberg, J. Desel ;
Analysis Techniques - W. Reisig, J. Desel ;
High-Level Petri Nets - K. Jensen, E. Smith ;
Timed and Stochastic Petri Nets   -  M. Chiola, S. Donatelli, M. Ajmone Marsan


 Programme of the Advanced Week

Coloured Nets - K. Jensen   ;
Free Choice Nets - J. Desel  ;
The State Explosion Problem  - A. Valmari  ;
Decidability and Complexity - J. Esparza  ;
Theory of Regions - P. Darondeau  ;
Petri Nets, Process Algebras and Programming - E. Best  ;
Other Models of Concurrency - M. Nielsen, P.S. Thiagarajan  ;
Categorial Aspects of Concurrency - M. Nielsen  ;
Logic for Concurrency - P.S. Thiagarajan  ;
Linear Programming and Convex Geometry Methods in Concurrency
- M. Silva  ;
Performance Analysis - M. Chiola, S. Donatelli, M. Ajmone Marsan  ;
Communication Protocols - J. Billington  ;
Flexible Manufacturing - M. Silva  ;
Distributed Algorithms - W. Reisig  ;
Object Orientation - F. de Cindio  ;
Computer Supported Cooperative Work - G. de Michelis

The Advanced Course will take place at Schloss Dagstuhl, a reputed
International Conference Center near Saarbruecken (Germany).
The course is organized by GI under the auspices of EATCS and FME.


For details please contact Prof. Wolfgang Reisig
tel. +49.30.20181220
fax  +49.30.20181221
e--mail: reisig@informatik.hu-berlin.de
or visit  http://www.daimi.dk/~petrinet/annce/.
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]