Skip to main content
Springer Nature Link
Log in

Transactions on Petri Nets and Other Models of Concurrency VII

  • Conference proceedings
  • © 2013

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. Wil M. P. Aalst

    1. Department of Information Systems, Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gianfranco Balbo

    1. Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Maciej Koutny

    1. School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Karsten Wolf

    1. Institut für Informatik, Universität Rostock, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • The first section is concerned with the creation of Petri net models and their validation
  • The second section addresses semantic issues and analysis methods
  • The third section is devoted to the automatic synthesis of Petri nets

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

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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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 The 7th volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.

Similar content being viewed by others

Keywords

Table of contents (10 papers)

  1. Front Matter

    Download chapter PDF

  2. In Memoriam

    1. In Memoriam: Carl Adam Petri

      • Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan
      Pages 1-5

  3. Modeling

    1. Strategies for Modeling Complex Processes Using Colored Petri Nets

      • Wil M. P. van der Aalst, Christian Stahl, Michael Westergaard
      Pages 6-55

    2. Applications of Coloured Petri Nets for Functional Validation of Protocol Designs

      • Lars M. Kristensen, Kent Inge Fagerland Simonsen
      Pages 56-115

    3. Business Process Modeling Using Petri Nets

      • Kees M. van Hee, Natalia Sidorova, Jan Martijn van der Werf
      Pages 116-161

  4. Semantics and Analysis

    1. Structure Theory of Petri Nets

      • Eike Best, Harro Wimmel
      Pages 162-224

    2. Causality in Extensions of Petri Nets

      • Jetty Kleijn, Maciej Koutny
      Pages 225-254

    3. External Behaviour of Systems of State Machines with Variables

      • Antti Valmari
      Pages 255-299

  5. Synthesis and Scenarios

    1. The Synthesis Problem

      • Wolfgang Reisig
      Pages 300-313

    2. Models from Scenarios

      • Robert Lorenz, Jörg Desel, Gabriel Juhás
      Pages 314-371

    3. Discovering Petri Nets from Event Logs

      • Wil M. P. van der Aalst, Boudewijn F. van Dongen
      Pages 372-422

  6. Back Matter

    Download chapter PDF
Back to top

Editors and Affiliations

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

    Kurt Jensen

  • Department of Information Systems, Eindhoven University of Technology, Eindhoven, The Netherlands

    Wil M. P. Aalst

  • Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy

    Gianfranco Balbo

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Maciej Koutny

  • Institut für Informatik, Universität Rostock, Germany

    Karsten Wolf

Bibliographic Information

Publish with us

Policies and ethics

Back to top