Skip to main content
SpringerLink
Log in

Application and Theory of Petri Nets and Concurrency

34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. José-Manuel Colom

    1. Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, Zaragoza, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jörg Desel

    1. Fernuniversität Hagen, IZ, Hagen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PETRI NETS 2013.

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 (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. The Right Timing: Reflections on the Modeling and Analysis of Time

      • Kees van Hee, Natalia Sidorova
      Pages 1-20

    2. Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets

      • Stéphane Lafortune, Yin Wang, Spyros Reveliotis
      Pages 21-28

  3. Regular Papers

    1. Contextual Merged Processes

      • César Rodríguez, Stefan Schwoon, Victor Khomenko
      Pages 29-48

    2. ω-Petri Nets

      • Gilles Geeraerts, Alexander Heussner, M. Praveen, Jean-François Raskin
      Pages 49-69

    3. Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets

      • Ernst W. Mayr, Jeremias Weihmann
      Pages 70-89

    4. A Semantics for Every GSPN

      • Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang
      Pages 90-109

    5. Expressing and Computing Passage Time Measures of GSPN Models with HASL

      • Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
      Pages 110-129

    6. On Multi-enabledness in Time Petri Nets

      • Hanifa Boucheneb, Didier Lime, Olivier H. Roux
      Pages 130-149

    7. Complexity Results for Elementary Hornets

      • Michael Köhler-Bußmeier, Frank Heitmann
      Pages 150-169

    8. Complexity Analysis of Continuous Petri Nets

      • Estíbaliz Fraca, Serge Haddad
      Pages 170-189

    9. Step Persistence in the Design of GALS Systems

      • Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
      Pages 190-209

    10. A Taxonomy of Persistent and Nonviolent Steps

      • Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny
      Pages 210-229

    11. Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology

      • David Gilbert, Monika Heiner, Fei Liu, Nigel Saunders
      Pages 230-249

    12. The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework

      • Monica Clemente, Maria Pia Fanti, Agostino M. Mangini, Walter Ukovich
      Pages 250-269

    13. Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case

      • Matthias Weidlich, Jan Mendling, Avigdor Gal
      Pages 270-290

    14. Hierarchical Conformance Checking of Process Models Based on Event Logs

      • Jorge Munoz-Gama, Josep Carmona, Wil M. P. van der Aalst
      Pages 291-310

    15. Discovering Block-Structured Process Models from Event Logs - A Constructive Approach

      • Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst
      Pages 311-329

    16. Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows

      • Robin Bergenthum
      Pages 330-348

    17. Unifying the Semantics of Modular Extensions of Petri Nets

      • Alexis Marechal, Didier Buchs
      Pages 349-368
Back to top

Other volumes

  1. Application and Theory of Petri Nets and Concurrency

Keywords

About this book

This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

Editors and Affiliations

  • Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, Zaragoza, Spain

    José-Manuel Colom

  • Fernuniversität Hagen, IZ, Hagen, Germany

    Jörg Desel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation