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. Lecture Notes in Computer Science 5800 Springer 2009, ISBN 978-3-642-04854-8

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/RussellAH09
- ask others
Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede: Designing a Workflow System Using Coloured Petri Nets. 1-24
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/MansARBMLJ09
- ask others
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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/AalstHHSVVW09
- ask others
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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/BillingtonVG09
- ask others
Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch: Parameterised Coloured Petri Net Channel Models. 71-97
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/BillingtonY09
- ask others
Jonathan Billington, Cong Yuan: On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol. 98-126
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/Lakos09
- ask others
Charles Lakos: Modelling Mobile IP with Mobile Petri Nets. 127-158
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/BonnefoiCK09
- ask others
Fabien Bonnefoi, Christine Choppy, Fabrice Kordon: A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. 159-188
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/EvangelistaWK09
- ask others
Sami Evangelista, Michael Westergaard, Lars Michael Kristensen: The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. 189-215
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/BergenthumDM09
- ask others
Robin Bergenthum, Jörg Desel, Sebastian Mauser: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. 216-243
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/topnoc/Xu09
- ask others
Xian Xu: On Bisimulation Theory in Linear Higher-Order pi-Calculus. 244-274