From: Gabriel Juhas <gabriel.juhas@ku-eichstaett.de>
To: petrinet@informatik.uni-hamburg.de
Date: Fri, 30 May 2003 12:41:56 +0200
Subject: (PN) CfPart: Advanced Course on Petri Nets
Dear Colleagues,
Below you will find the Call for Participation for the 4th Advanced
Course on Petri Nets to be held in Eichstaett, Germany, September 15-26,
2003.
The Advanced Course is a special event because it takes place only once
a decade. Its idea is to present new developments in application and
theory of Petri nets and to consolidate recent research on Petri nets.
There will be introductory tutorials on different areas of Petri nets as
well as advanced tutorials. Therefore, the ‘Advanced Course’ should be
interesting for beginners as well as for experts in Petri nets and
related theoretical and application areas.
Registration is now possible at http://www.acpn.de where you can also
find detailed information.
Looking forward to see you in Eichstaett,
Gabriel Juhas and Robert Lorenz
Organizing Committee
---------------------------------------------------------------------
CfPart
4th Advanced Course on Petri Nets
September 15, 2003 - September 26, 2003
Eichstätt, Germany
Course Directors:
Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg
The 4th Advanced Course on Petri Nets will take place in Eichstätt,
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. 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.
2. Basic tutorials introducing the application and theory of Petri nets
- somewhat in the style of the introductory tutorials taking place each
year at the International Conference on Application and Theory of Petri
Nets. These tutorials take place in the first week of the course.
3. Courses on application of Petri nets that cover many application
domains. Most of these courses take place in the second week of the
course.
4. 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.
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. 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.
2. Basic tutorials:
- "Elementary Petri Nets " by J. Desel,
- "Stochastic Petri Nets" by G. Balbo
- "Verification" by J. Esparza
- "Coloured Petri Nets and their Applications" by K. Jensen
- "High-Level Nets" by W. Reisig.
3. 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.
4. 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. Juhás,
- "Coordinating Mobile Processes with Committed JOIN"
by U. Montanari,
- "Message Sequence Charts" by A. Muscholl,
- "Distributed Algorithms" by W. Reisig,
- "Object Petri Nets" by R. Valk.
More information, including the time table of lectures, the on-line
registration and accommodation form, grants description, travel
information, description of social events and sport activities can be
found at the home page of the 4th Advanced Course on Petri Nets:
http://www.acpn.de/
----
[[ 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 ]]