First Review Meeting

DG Information Society and Media offices
Avenue de Beaulieu 33, room 0/58
Brussels-Auderghem, Belgium
October 26, 2009

PROGRAM

09:30-10:00 A. Giua (UNICA) - DISC Overview

10:00-10:15 M. Silva (UNIZAR) - WP1 overview

10:15 - 10:35 M. Silva (UNIZAR) - Improving coarsening by decoulourization and stochastic fluidification of net models

10:35-10:55 J. Komenda (CAS) - Compositional modeling of timed DES

10:55-11:15 C. Seatzu (UNICA) - Applications of IPA to fluid Petri Nets

11:15-11:35 R. Boel (UGent) - WP2 overview

11:35-11:55 M.P. Cabasino (UNICA) - Decentralized diagnosis of DES using Petri nets

11:55-12:15 C. Mahulea (UNIZAR) - Fault detection of untimed continuous Petri nets

12:15-13:30 Lunch

13:30-13:50 J. van Schuppen (CWI) - WP3 overview

13:50-14:10 E. Fabre (INR) - Distributed optimal planning

14:10-14:30 J. Komenda (CAS) - Coordination control of DES

14:30-14:50 A. Solinas (AKH) - Software platform specification

14:50-15:00 J. Raisch (TUB) - WP5 overview

15:00-15:20 R. Boel (UGent) - Traffic modeling and control

15:20-15:40 T. Brunsch (TUB) - Modelling and Control of High-Throughput-Screening Plants

15:40-16:00 Reviewers evaluation

16:00-16:20 Reviewers comments to partners