Transactions on Petri Nets and Other Models of Concurrency, Volume 3, 2009
Kurt Jensen, Jonathan Billington, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency III. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-04854-8- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team