Skip to main content
  • Conference proceedings
  • © 2014

Application and Theory of Petri Nets and Concurrency

35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

Conference proceedings info: PETRI NETS 2014.

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-07734-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (23 papers)

  1. Front Matter

  2. Invited Papers

    1. Propagation Nets

      • Kurt Lautenbach
      Pages 1-19
    2. Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

      • Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
      Pages 20-39
  3. Regular Papers

    1. Soundness of Timed-Arc Workflow Nets

      • José Antonio Mateo, Jiří Srba, Mathias Grund Sørensen
      Pages 51-70
    2. Process Model Discovery: A Method Based on Transition System Decomposition

      • Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst
      Pages 71-90
    3. Discovering Block-Structured Process Models from Incomplete Event Logs

      • Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst
      Pages 91-110
    4. Synthesis of Persistent Systems

      • Eike Best, Raymond Devillers
      Pages 111-129
    5. Learning Transparent Data Automata

      • Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
      Pages 130-149
    6. A Programming Language for Spatial Distribution of Net Systems

      • Paweł Sobociński, Owen Stephens
      Pages 150-169
    7. Flow Unfolding of Multi-clock Nets

      • Giovanni Casu, G. Michele Pinna
      Pages 170-189
    8. Non-interference by Unfolding

      • Paolo Baldan, Alberto Carraro
      Pages 190-209
    9. The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems

      • Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, Arthur H. M. ter Hofstede
      Pages 210-232
    10. On Weighted Petri Net Transducers

      • Robert Lorenz, Markus Huber, Günther Wirsching
      Pages 233-252
    11. Exhibition of a Structural Bug with Wings

      • Florent Avellaneda, Rémi Morin
      Pages 253-272
    12. Analysis of Petri Net Models through Stochastic Differential Equations

      • Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
      Pages 273-293
    13. Dynamic Networks of Timed Petri Nets

      • María Martos-Salgado, Fernando Rosa-Velardo
      Pages 294-313
    14. On the Reversibility of Well-Behaved Weighted Choice-Free Systems

      • Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon
      Pages 334-353
  4. Tool Papers

    1. (Stochastic) Model Checking in GreatSPN

      • Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
      Pages 354-363

Other Volumes

  1. Application and Theory of Petri Nets and Concurrency

    35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings

About this book

This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.

Keywords

  • Petri nets
  • concurrency
  • concurrent systems
  • formal methods
  • model checking
  • process models
  • software system models
  • theory of computation

Editors and Affiliations

  • Department of Computer Science, Iowa State University, Ames, USA

    Gianfranco Ciardo

  • DTU Compute, Technical University of Denmark, Lyngby, Denmark

    Ekkart Kindler

Bibliographic Information

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-07734-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)