Skip to main content
  • Book
  • © 2009

Transactions on Petri Nets and Other Models of Concurrency III

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)

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (10 chapters)

  1. Front Matter

  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. Modelling Mobile IP with Mobile Petri Nets

    • Charles Lakos
    Pages 127-158
  7. A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example

    • Fabien Bonnefoi, Christine Choppy, Fabrice Kordon
    Pages 159-188
  8. The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection

    • Sami Evangelista, Michael Westergaard, Lars M. Kristensen
    Pages 189-215
  9. Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language

    • Robin Bergenthum, Jörg Desel, Sebastian Mauser
    Pages 216-243
  10. Back Matter

Keywords

  • MANET
  • Simulation
  • calculus
  • coloured petri nets
  • design
  • formal language
  • formal models
  • mobile petri nets
  • model-checking
  • modeling
  • petri nets
  • pi-calculus
  • software engineering
  • workflow nets

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions