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