Skip to main content
SpringerLink
Log in
Book cover

Transactions on Petri Nets and Other Models of Concurrency III

  • Book
  • © 2009

Overview

Editors:
  1. Kurt Jensen

    1. Faculty of Science, Department of Computer Science, University of Aarhus, Aarhus N, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jonathan Billington

    1. School of Electrical and Information Engineering, University of South Australia, Mawson Lakes, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Maciej Koutny

    1. SCS, Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5800)

Part of the book sub series: Transactions on Petri Nets and Other Models of Concurrency (TOPNOC)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Download chapter PDF

  2. Designing a Workflow System Using Coloured Petri Nets

    • Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
    Pages 1-24

  3. From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

    • Ronny S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian B. Lassen et al.
    Pages 25-49

  4. Soundness of Workflow Nets with Reset Arcs

    • Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve et al.
    Pages 50-70

  5. Parameterised Coloured Petri Net Channel Models

    • Jonathan Billington, Somsak Vanit-Anunchai, Guy E. Gallasch
    Pages 71-97

  6. On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol

    • Jonathan Billington, Cong Yuan
    Pages 98-126

  7. Modelling Mobile IP with Mobile Petri Nets

    • Charles Lakos
    Pages 127-158

  8. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example

    • Fabien Bonnefoi, Christine Choppy, Fabrice Kordon
    Pages 159-188

  9. The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection

    • Sami Evangelista, Michael Westergaard, Lars M. Kristensen
    Pages 189-215

  10. Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language

    • Robin Bergenthum, Jörg Desel, Sebastian Mauser
    Pages 216-243

  11. On Bisimulation Theory in Linear Higher-Order π-Calculus

    • Xian Xu
    Pages 244-274

  12. Back Matter

    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Faculty of Science, Department of Computer Science, University of Aarhus, Aarhus N, Denmark

    Kurt Jensen

  • School of Electrical and Information Engineering, University of South Australia, Mawson Lakes, Australia

    Jonathan Billington

  • SCS, Newcastle University, Newcastle upon Tyne, UK

    Maciej Koutny

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation