Skip to main content
SpringerLink
Log in
Book cover

Transactions on Petri Nets and Other Models of Concurrency I

  • Book
  • © 2008

Overview

Editors:
  1. Kurt Jensen

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wil M. P. Aalst

    1. Department of Mathematics and Computer Science, Technical University of Eindhoven, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jonathan Billington

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

    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 5100)

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 (13 chapters)

  1. Front Matter

    Download chapter PDF

  2. Constructive Alignment for Teaching Model-Based Design for Concurrency

    • Claus Brabrand
    Pages 1-18

  3. Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

    • Lars Michael Kristensen, Kurt Jensen
    Pages 19-34

  4. Teaching Concurrency Concepts to Freshmen

    • Christian Eisentraut, Holger Hermanns
    Pages 35-53

  5. TAPAs: A Tool for the Analysis of Process Algebras

    • Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi
    Pages 54-70

  6. Translating Message Sequence Charts to other Process Languages Using Process Mining

    • Kristian Bisgaard Lassen, Boudewijn F. van Dongen
    Pages 71-85

  7. Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering

    • Lawrence Cabac, Nicolas Denz
    Pages 86-103

  8. Time Recursive Petri Nets

    • Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala
    Pages 104-118

  9. Designing Case Handling Systems

    • Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn van der Werf
    Pages 119-133

  10. Model Driven Testing Based on Test History

    • Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees van Hee
    Pages 134-151

  11. Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization

    • H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk
    Pages 152-171

  12. Directed Unfolding of Petri Nets

    • Blai Bonet, Patrik Haslum, Sarah Hickmott, Sylvie Thiébaux
    Pages 172-198

  13. McMillan’s Complete Prefix for Contextual Nets

    • Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon
    Pages 199-220

  14. Elasticity and Petri Nets

    • Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez
    Pages 221-249

  15. Back Matter

    Download chapter PDF
Back to top

Keywords

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 visualization 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.

Editors and Affiliations

  • Faculty of Science, Department of Computer Science, IT-parken, University of Aarhus, Aarhus N, Denmark

    Kurt Jensen

  • Department of Mathematics and Computer Science, Technical University of Eindhoven, Eindhoven, The Netherlands

    Wil M. P. Aalst

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

    Jonathan Billington

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation