|
Jörg Desel, Katholische Universität Eichstätt, Germany
Wolfgang Reisig, Humboldt Universität zu Berlin, Germany Grzegorz Rozenberg, University of Leiden, The Netherlands (Eds.) Lectures on Concurrency and Petri Nets Advances in Petri Nets, Lecture Notes in Computer Science, vol. 3098, Springer-Verlag, 2004, 848 pp,
See also posting on PetriNets mailinglist. |
| LECTURER | FROM | TOPIC | DURATION (in units of 90 min.) |
|---|---|---|---|
| Highlight Short Courses | |||
| David Harel | Rehovot (Israel) | Play-In / Play-Out: A Scenario-Based Approach to Programming | 3 |
| Robin Milner | Cambridge (UK) | Bigraphs and Mobility | 3 |
| Mogens Nielsen | Aarhus (Denmark) | Timed Concurrent Constraint Programming | 2 |
| P.S. Thiagarajan | Singapur (Singapur) | Communicating Transaction Processes | 2 |
Basic Tutorials | |||
| Jörg Desel | KU Eichstätt (Germany) | Elementary Petri Nets | 2 |
| Gianfranco Balbo | Turin (Italy) | Stochastic Petri Nets | 2 |
| Javier Esparza | Edinburgh (UK) | Verification | 3 |
| Kurt Jensen | Aarhus (Denmark) | Coloured Petri Nets and their Applications | 2 |
| Wolfgang Reisig | Berlin (Germany) | High-Level Nets | 2 |
Advanced Lectures | |||
| Eike Best | Oldenburg (Germany) | Process Algebras | 1 |
| Søren Christensen | Aarhus (Denmark) | Coloured Petri Nets and Education | 1 |
| Hartmut Ehrig | Berlin (Germany) | Graph Transformation with Applications to Petri Nets | 1 |
| Roberto Gorrieri | Bologna (Italy) | Information Flow Security | 1 |
| Javier Esparza | Edinburgh (UK) | Model Checking | 1 |
| Reiko Heckel | Paderborn (Germany) | Foundations of Visual Modelling Techniques | 1 |
| Gabriel Juhás | KU Eichstätt (Germany) | Signal Nets | 1 |
| Ugo Montanari | Pisa (Italy) | Coordinating Mobile Processes with Committed JOIN | 1 |
| Anca Muscholl | Paris (France) | Message Sequence Charts | 1 |
| Wolfgang Reisig | Berlin (Germany) | Distributed Algorithms | 1 |
| Rüdiger Valk | Hamburg (Germany) | Object Petri Nets | 1 |
Application Courses | |||
| Wil van der Aalst | Eindhoven (NL) | Workflow Management | 3 |
| Susanna Donatelli | Turin (Italy) | Performance and Fault Tolerance | 3 |
| Jonathan Billington | Adelaide (Australia) | Network Protocols | 3 |
| Mauro Pezzé | Milano (Italy) | Software Engineering and Petri Nets | 3 |
| Jörg Desel | KU Eichstätt (Germany) | Case Study on Automotive Systems | 1 |
| Manuel Silva | Zaragoza (Spain) | Flexible Manufacturing | 3 |
| Alex Yakovlev | Newcastle (UK) | Hardware and Petri Nets | 3 |
| Kurt Jensen | Aarhus (Denmark) | Coloured Petri Nets and their Applications | 2 |
![[PN Home]](/TGI/PetriNets/img/button_home.gif){kind=small}
![[Last updated]](/TGI/PetriNets/img/button_stat.gif){kind=small}