Transactions on Petri Nets and Other Models of Concurrency III

  • Kurt Jensen
  • Jonathan Billington
  • Maciej Koutny

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

Table of contents

  1. Front Matter
  2. Nick C. Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
    Pages 1-24
  3. 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. 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. Jonathan Billington, Somsak Vanit-Anunchai, Guy E. Gallasch
    Pages 71-97
  6. Charles Lakos
    Pages 127-158
  7. Fabien Bonnefoi, Christine Choppy, Fabrice Kordon
    Pages 159-188
  8. Sami Evangelista, Michael Westergaard, Lars M. Kristensen
    Pages 189-215
  9. Robin Bergenthum, Jörg Desel, Sebastian Mauser
    Pages 216-243
  10. Back Matter

About this book

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

  • Kurt Jensen
    • 1
  • Jonathan Billington
    • 2
  • Maciej Koutny
    • 3
  1. 1.Faculty of Science, Department of Computer ScienceUniversity of AarhusAarhus NDenmark
  2. 2.School of Electrical and Information EngineeringUniversity of South AustraliaMawson LakesAustralia
  3. 3.SCSNewcastle UniversityNewcastle upon TyneUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-04856-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04854-8
  • Online ISBN 978-3-642-04856-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book