Transactions on Petri Nets and Other Models of Concurrency, Volume 3, 2009

• Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede:
  Designing a Workflow System Using Coloured Petri Nets. 1-24
  
• R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen:
  From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. 25-49
  
• Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn:
  Soundness of Workflow Nets with Reset Arcs. 50-70
  
• Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch:
  Parameterised Coloured Petri Net Channel Models. 71-97
  
• Jonathan Billington, Cong Yuan:
  On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol. 98-126
  
• Charles Lakos:
  Modelling Mobile IP with Mobile Petri Nets. 127-158
  
• Fabien Bonnefoi, Christine Choppy, Fabrice Kordon:
  A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. 159-188
  
• Sami Evangelista, Michael Westergaard, Lars Michael Kristensen:
  The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. 189-215
  
• Robin Bergenthum, Jörg Desel, Sebastian Mauser:
  Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. 216-243
  
• Xian Xu:
  On Bisimulation Theory in Linear Higher-Order pi-Calculus. 244-274