PNDS?09 Schedule

Monday, 23rd June

14:00 Opening

14:15 Session I (3 talks, each 30+10)

14:15 - 14:55
newYAWL: Designing a Workflow System using Coloured Petri Nets
Nick Russell, Wil van der Aalst and Arthur ter Hofstede

14:55 - 15:35
A combined protocol channel model and its application to the Datagram 
Congestion Control Protocol
Somsak Vanit-Anunchai, Jonathan Billington and Guy Gallasch 

15:35 - 16:15  (will be moved to Tuesday session, please check 
               at the conference site which other talk will be moved to here!)
Modelling Crutial Information Switches with Stochastic Well-formed Nets
Susanna Donatelli and Davide Cerotti

16:15 Coffee break

16:45 Session II (3 short talks, each 10+10)

16:45 - 17:05
Applying a Nested Petri Net Modeling Paradigm to Coordination 
of Sensor Networks with Mobile Agents
Xudong He, Lily Chang, Sol Shatz and Juzheng Li

17:05 - 17:25
A Verifiable Low-level Concurrent Programming Model Based on Colored Petri Nets
Shengyuan Wang and Yuan Dong

17:25 - 17:45
Integrating Active Rules into Database System via a Petri Net Approach
Lorena Chavarrˇa-B ez and Xiaoou Li




Tuesday, 24th of June

09:00 Invited talk and discussion

The ASAP Platform: Next Generation Tool Support for State Space Analysis of CPN Models
Lars M. Kristensen

10:30 Coffee break

11:00 Session III (2 talks, each 30+10)

11:00 - 11:40
Verification of RoseRT models using Petri nets
Marcel van Leeuwen, Lou Somers, Marc Voorhoeve and Jan Martijn van der Werf

11:40 - 12:20
Aggregating views for Petri net model construction
J”rg Desel and Laure Petrucci


12:20 Lunch


14:00 Session IV (2 talks, each 30+10)

14:00 - 14:40
On soundness and related concepts of nested workflow nets
Olivia Oanea

14:40 - 15:20
On Modelling the Dynamic MANET On-demand (DYMO) routing protocol
Cong Yuan and Jonathan Billington


15:20 Closing session, general discussion

16:00 Coffee break and workshop closing