4th Advanced Course on Petri Nets 2003

This course was held September 15-26, 2003 in Eichstätt, Germany. More than a hundred people participated among which 24 provided lectures.
4th Advanced Course on Petri Nets
September 15-26, 2003, Eichstätt, Germany
Registration deadline: July 31, 2003 (expired)
URL: http://www.acpn.de/
Announcements: Satellite Events: Advocacy:

Publications

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,
ISBN 3-540-22261-8

See also posting on PetriNets mailinglist.

Programme Overview

LECTURERFROMTOPICDURATION
(in units of 90 min.)
Highlight Short Courses
David HarelRehovot (Israel)Play-In / Play-Out: A Scenario-Based Approach to Programming3
Robin MilnerCambridge (UK)Bigraphs and Mobility3
Mogens NielsenAarhus (Denmark)Timed Concurrent Constraint Programming2
P.S. ThiagarajanSingapur (Singapur)Communicating Transaction Processes2

Basic Tutorials
Jörg DeselKU Eichstätt (Germany)Elementary Petri Nets2
Gianfranco BalboTurin (Italy)Stochastic Petri Nets2
Javier EsparzaEdinburgh (UK)Verification3
Kurt JensenAarhus (Denmark)Coloured Petri Nets and their Applications2
Wolfgang ReisigBerlin (Germany)High-Level Nets2

Advanced Lectures
Eike BestOldenburg (Germany)Process Algebras1
Søren ChristensenAarhus (Denmark)Coloured Petri Nets and Education1
Hartmut EhrigBerlin (Germany)Graph Transformation with Applications to Petri Nets1
Roberto GorrieriBologna (Italy)Information Flow Security1
Javier EsparzaEdinburgh (UK)Model Checking1
Reiko HeckelPaderborn (Germany)Foundations of Visual Modelling Techniques1
Gabriel JuhásKU Eichstätt (Germany)Signal Nets1
Ugo MontanariPisa (Italy)Coordinating Mobile Processes with Committed JOIN1
Anca MuschollParis (France)Message Sequence Charts1
Wolfgang ReisigBerlin (Germany)Distributed Algorithms1
Rüdiger ValkHamburg (Germany)Object Petri Nets1

Application Courses
Wil van der AalstEindhoven (NL)Workflow Management3
Susanna DonatelliTurin (Italy)Performance and Fault Tolerance3
Jonathan BillingtonAdelaide (Australia)Network Protocols3
Mauro PezzéMilano (Italy)Software Engineering and Petri Nets3
Jörg DeselKU Eichstätt (Germany)Case Study on Automotive Systems1
Manuel SilvaZaragoza (Spain)Flexible Manufacturing3
Alex YakovlevNewcastle (UK)Hardware and Petri Nets3
Kurt JensenAarhus (Denmark)Coloured Petri Nets and their Applications2


[PN Home][Last updated]
The maintainers of this page