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