Transactions on Petri Nets and Other Models of Concurrency I

  • Kurt Jensen
  • Wil M. P. van der Aalst
  • Jonathan Billington

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

Table of contents

  1. Front Matter
  2. Christian Eisentraut, Holger Hermanns
    Pages 35-53
  3. Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi
    Pages 54-70
  4. Kristian Bisgaard Lassen, Boudewijn F. van Dongen
    Pages 71-85
  5. Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala
    Pages 104-118
  6. Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn van der Werf
    Pages 119-133
  7. Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees van Hee
    Pages 134-151
  8. H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk
    Pages 152-171
  9. Blai Bonet, Patrik Haslum, Sarah Hickmott, Sylvie Thiébaux
    Pages 172-198
  10. Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon
    Pages 199-220
  11. Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez
    Pages 221-249
  12. Back Matter

About this book


These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two stage refereeing process. ToPNoC contains:

- Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences

- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)

- Other papers invited for publication in ToPNoC

- Papers submitted directly to ToPNoC by their authors

This is the first volume of ToPNoC. It contains revised and extended versions of a selection of the best papers from the workshops held at the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, which took place in Siedlce, Poland, June 25-29, 2007. The material has been selected and evaluated by the two Workshop and Tutorial Chairs, Wil van der Aalst and Jonathan Billington, in close cooperation with the chairs of the individual workshops.

The 13 papers in this volume cover a wide range of concurrency-related topics, including: teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; timed Petri nets; unfolding techniques and hardware systems. Thus, this volume gives a good overview of the state of the art in concurrency research.


Hardware agent-oriented colored petri nets message sequence charts model-based design process algebra process language process mining software engineering visualization

Editors and affiliations

  • Kurt Jensen
    • 1
  • Wil M. P. van der Aalst
    • 2
  • Jonathan Billington
    • 3
  1. 1.Faculty of Science, Department of Computer Science, IT-parkenUniversity of AarhusAarhus NDenmark
  2. 2.Department of Mathematics and Computer ScienceTechnical University of EindhovenEindhovenThe Netherlands
  3. 3.School of Electrical and Information EngineeringUniversity of South AustraliaSouth AustraliaAustralia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-89286-1
  • Online ISBN 978-3-540-89287-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment