Skip to main content
  • Conference proceedings
  • © 2016

Application and Theory of Petri Nets and Concurrency

37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Conference proceedings info: PETRI NETS 2016.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-39086-4
  • 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 69.99
Price excludes VAT (USA)

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

Table of contents (19 papers)

  1. Front Matter

    Pages I-XVI
  2. Distinguished Carl Adam Petri Lecture

    1. Front Matter

      Pages 1-1
    2. Reasoning About Discovery Clouds

      • Ian Foster
      Pages 3-10
  3. Invited Talks

    1. Front Matter

      Pages 11-11
  4. Petri Net Synthesis

    1. Front Matter

      Pages 37-37
    2. Characterising Petri Net Solvable Binary Words

      • Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel
      Pages 39-58
    3. The Power of Prime Cycles

      • Eike Best, Raymond Devillers
      Pages 59-78
  5. Tools

    1. Front Matter

      Pages 99-99
    2. PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research

      • András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor et al.
      Pages 123-132
  6. Applications

    1. Front Matter

      Pages 133-133
    2. Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol

      • Lars Michael Kristensen, Vegard Veiset
      Pages 135-154
    3. Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets

      • Quentin Gaudel, Pauline Ribot, Elodie Chanthery, Matthew J. Daigle
      Pages 196-215
  7. Conformance Checking

    1. Front Matter

      Pages 217-217

Other Volumes

  1. Application and Theory of Petri Nets and Concurrency

    37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

About this book

This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.

The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions. 

Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume. 

Keywords

  • Petri Nets
  • Concurrency
  • Formal Methods
  • Verification
  • Synthesis
  • timed verification
  • stochastic verification
  • tools for verification
  • structural properties
  • Modelling
  • simulation
  • validation

Editors and Affiliations

  • Université Pierre and Marie Curie, Paris, France

    Fabrice Kordon

  • Department Informatik, Universität Hamburg Department Informatik, Hamburg, Germany

    Daniel Moldt

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-39086-4
  • 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 69.99
Price excludes VAT (USA)