3rd Advanced Course on Petri Nets 1996

This course was held October 7-18, 1996 at Dagstuhl Castle, Germany. Approximately 80 people participated among which 17 provided lectures. Carl Adam Petri also visited the course for a few days.

There are also some photographs available from the course.

Programme Overview

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
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

Publications

Reisig, W., Humboldt Universität zu Berlin, Germany
Rozenberg, G., University of Leiden, The Netherlands
(Eds.)

Lectures on Petri Nets I: Basic Models

Advances in Petri Nets, Lecture Notes in Computer Science, vol. 1491, Springer-Verlag, 1998. XI, 683 pp. Softcover,
ISBN 3-540-65306-6

Reisig, W., Humboldt Universität zu Berlin, Germany
Rozenberg, G., University of Leiden, The Netherlands
(Eds.)

Lectures on Petri Nets II: Applications

Advances in Petri Nets, Lecture Notes in Computer Science, vol. 1492, Springer-Verlag, 1998. XI, 479 pp. Softcover,
ISBN 3-540-65307-4

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.

The two-volume set is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are

interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area
interested in learning about recent results presented within a unified framework
planning to apply Petri nets in practical situations
interested in the relationship of Petri nets to other models of concurrent systems.

The maintainers of this page