| Detailed Programme of the Systems Engineering Summer School |
| Day |
Session |
Title |
Professors |
Hours |
| Monday 14th |
a.m. |
Models and toy examples (lecture) |
R. Valk |
3h.30m. |
| p.m. |
Tools presentation and use of toy examples (lecture and exercises) |
R. Valk and LIP6 |
2h.30m. |
| Tuesday 15th |
a.m. |
More on High Level Nets (lecture) |
C. Girault |
1h. |
| More on properties, linear properties and net subclasses (lecture) |
J.M. Colom |
2h. |
| p.m. |
Modelling process (lecture) |
M. Voorhoeve |
1h.30m. |
| Principles and tools for modelling (lecture and exercises) |
M. Voorhoeve |
1h. |
| Wednesday 16th |
a.m. |
Workflow Management Systems (lecture and exercises) |
W.v.d. Aalst |
3h.30m. |
| p.m. |
FREE/EXCURSION |
| Thursday 17th |
a.m. |
Flexible Manufacturing Systems (lecture and exercises) |
J. Ezpeleta |
3h.30m. |
| p.m. |
State Space based Methods I (lecture and exercises) |
J.M.Ilie, S.Haddad,
D.Poitrenaud |
2h.30m. |
| Friday 18th |
a.m. |
Formal Design of Telecommunication Services (lecture and exercises) |
P. Estrailler |
3h.30m. |
| p.m. |
State Space based Methods II (lecture and exercises) |
J.M.Ilie, S.Haddad,
D.Poitrenaud |
2h.30m. |
| Saturday 19th |
a.m. |
Structural Methods I (lecture and exercises) |
J.M. Colom |
3h.30m. |
| p.m. |
Deductive Methods I (lecture) |
B.Farwer, M.O.Stehr |
1h.30m. |
| Parallel Laboratory Sessions on Work Flow Management Systems, Flexible Manufacturing Systems and Telecommunication Systems |
- |
1h.30m. |
| Sunday 20th |
FREE/EXCURSION |
| Monday 21th |
a.m. |
Deductive Methods II (lecture and exercises) |
B.Farwer, M.O.Stehr |
3h.30m. |
| p.m. |
Structural Methods II |
E. Teruel |
1h.30m. |
| Parallel Laboratory Sessions on Work Flow Management Systems, Flexible Manufacturing Systems and Telecommunication Systems |
- |
1h.30m. |
| Tuesday 22th |
a.m. |
Prototyping (lecture) |
F. Kordon |
2h. |
| Work Flow Management Systems (lecture) |
W.v.d.Aalst |
45m. |
| Flexible Manufacturing Systems (lecture) |
J. Ezpeleta |
45m. |
| p.m. |
Telecommunication Systems (lecture) |
P. Estrailler |
45m. |
| Perspectives and concluding remarks |
- |
1h. |
| Discussion and clossing |
- |
45m. |
