From: Joerg Desel <joerg.desel@ku-eichstaett.de>
To: petrinet@informatik.uni-hamburg.de
Date: Mon, 3 Mar 2003 10:29:37 +0100
Subject: (PN) Advanced Course on Petri Nets 2003
Announcement
ADVANCED COURSE ON PETRI NETS, SEPTEMBER 2003, EICHSTAETT
The 4th Advanced Course on Petri Nets will take place in Eichstaett,
Germany (a nice "vacation place" about 100 km from Munich) in the period
15-26 September 2003. The previous Advanced Courses took place in 1978
(Hamburg, Germany), 1986 (Bad Honnef, Germany), and in 1996 (Dagstuhl,
Germany). The main idea behind the 4th Advanced Course is to present the
developments in application and theory of Petri nets in the context of
other approaches to concurrency and distributed systems.
The Scientific Program consists of
(1) Basic tutorials introducing the application and theory of Petri
nets. These tutorials take place in the first week of the course.
(2) Courses on application of Petri nets that cover many application
domains. Most of these courses take place in the second week of the course.
(3) Advanced lectures, many of which establish bridges between Petri
nets and other approaches to concurrency and distributed systems. These
lectures take place during both weeks of the course.
(4) Highlight short courses given by prominent scientists on important
topics in the theory and application of concurrent and distributed
systems. These lectures are scheduled during both weeks of the course,
and all of them cover approaches other than Petri nets.
The scheduling of all the lectures is done in such a way that each
participant can construct for herself/himself an "individualized
program" that fits the best the scientific interest of the participant.
In particular, for the participants that are already familiar with Petri
nets and don't feel the need to follow the basic tutorials, the first
week offers a rich variety of lectures on a number of important issues
in (and approaches to) research on concurrent and distributed systems.
The following lectures are already booked.
(1) Basic tutorials by
J. Desel, G. Balbo, J. Esparza, K. Jensen and W. Reisig.
(2) Application courses:
"Workflow Management" by W. van der Aalst,
"Performance and Fault Tolerance" by S. Donatelli,
"Network Protocols" by J. Billington,
"Coloured Petri Nets and their Applications" by K. Jensen,
"Software Engineering and Petri Nets" by M. Pezze,
"Flexible Manufacturing" by M. Silva,
"Hardware and Petri Nets" by A. Yakovlev.
(3) Advanced lectures:
"Process Algebras" by E. Best,
"Coloured Petri Nets and Education" by S. Christensen,
"Graph Transformation with Applications to Petri Nets" by H. Ehrig,
"Model Checking" by J. Esparza,
"Information Flow Security" by R. Gorrieri,
"Foundations of Visual Modelling Techniques" by R. Heckel,
"Signal Nets" by G. Juhas,
"Coordination" by U. Montanari,
"Message Sequence Charts" by A. Muscholl,
"Distributed Algorithms" by W. Reisig,
"Object Petri Nets" by R. Valk.
(4) Highlight short courses:
"Play-In / Play-Out: A Scenario-Based Approach to Programming" by D. Harel,
"Bigraphs and Mobility" by R. Milner,
"Timed Concurrent Constraint Programming" by M. Nielsen,
"Verification of Infinite State Systems" by A. Pnueli,
"Communicating Transaction Processes" by P.S. Thiagarajan.
The more complete announcement, including the details of registration,
will be posted shortly.
The official web-page of the Advanced Course on Petri Nets is www.acpn.de
For questions about the Advanced Course you can contact any of the
Advanced Course directors:
Prof. J. Desel (joerg.desel@ku-eichstaett.de),
Prof. W. Reisig (reisig@informatik.hu-berlin.de) and
Prof. G. Rozenberg (rozenber@liacs.nl).
----
[[ Homepage and archive: http://www.daimi.au.dk/PetriNets/pnml/ ]]
[[ Post messages/summary of replies: PetriNets@daimi.au.dk ]]
[[ Read before posting: http://www.daimi.au.dk/PetriNets/pnml/faq.html ]]
[[ Subscribe: http://mailman.daimi.au.dk/mailman/listinfo/petrinets ]]