Skip to main content
SpringerLink
Log in

Application and Theory of Petri Nets and Concurrency

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Gianfranco Ciardo

    1. Department of Computer Science, Iowa State University, Ames, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ekkart Kindler

    1. DTU Compute, Technical University of Denmark, Lyngby, Denmark

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

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

Included in the following conference series:

Conference proceedings info: PETRI NETS 2014.

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

  1. Front Matter

    Download chapter PDF

  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. Complex Networks and Link Streams for the Empirical Analysis of Large Software

      • Matthieu Latapy, Tiphaine Viard
      Pages 40-50

  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. A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application

      • Ernst W. Mayr, Jeremias Weihmann
      Pages 314-333

    15. 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
Back to top

Other volumes

  1. Application and Theory of Petri Nets and Concurrency

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation