Program Overview

Sunday
25 June
Monday
26 June
Tuesday
27 June
Wednesday
28 June
Thursday
29 June
Friday
30 June
Saturday
1 July
Tutorial:
Basic net classes
9:00-12:30
Room: 110 at building IV
PN4TT
14:00-17:30
Room: 204 at building IV
(program)
PNSE
9:00-18:00
Room: 204 at building IV
(program)
Main Conference
9:00-18:00
Room: 204 at building IV
Main Conference
9:00-16:30
Room: 204 at building IV
Main Conference
9:30-15:30
Room: 204 at building IV
Rock-climbing
9:00-18:00
(registration required)
Tutorial:
Coloured Petri nets and the CPN Tools
13:30-17:00
Room: 110 at building IV
Tutorial:
Verification and model checking of Petri Nets
9:00-12:30
Room: 110 at building IV
ATAED
11:00-17:30
Room: 203 at building IV
(program)
Departure to welcome reception
18:00
GI meeting
16:30-18:00
Room: 204 at building IV
Tutorial:
Timed and Stochastic Petri nets
14:00-17:30
Room: 110 at building IV
Tutorial:
Petri nets-driven design of controllers for cyber-physical systems
9:00-17:30
Room: 110 at building IV
Welcome reception at Fragata
18:30
1st ATPN Padel Tournement
16:30-18:00
(registration required)
Discussions about the model checking contest
14:00-15:30
Room: 112 at building IV
Dinner
19:30
SC meeting (by invitation)
17:30-18:30
Room: 112 at building IV