Skip to main content
SpringerLink
Log in
Book cover

Application and Theory of Petri Nets and Concurrency

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Fabrice Kordon

    1. Université Pierre and Marie Curie, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Daniel Moldt

    1. Department Informatik, Universität Hamburg Department Informatik, Hamburg, Germany

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

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

Included in the following conference series:

Conference proceedings info: PETRI NETS 2016.

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 EPUB and 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 (19 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Distinguished Carl Adam Petri Lecture

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Reasoning About Discovery Clouds

      • Ian Foster
      Pages 3-10

  3. Invited Talks

    1. Front Matter

      Pages 11-11
      Download chapter PDF

    2. From Actions, Transactions, and Processes to Services

      • Manfred Broy
      Pages 13-19

    3. Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture

      • Sławomir Lasota
      Pages 20-36

  4. Petri Net Synthesis

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    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

    4. Petri Net Synthesis for Restricted Classes of Nets

      • Uli Schlachter
      Pages 79-97

  5. Tools

    1. Front Matter

      Pages 99-99
      Download chapter PDF

    2. Renew 2.5 – Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications

      • Lawrence Cabac, Michael Haustermann, David Mosteller
      Pages 101-112

    3. AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks

      • Wojciech Ptak, Andrzej M. Kierzek, Jacek Sroka
      Pages 113-122

    4. 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
      Download chapter PDF

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

      • Lars Michael Kristensen, Vegard Veiset
      Pages 135-154

    3. Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics

      • Loïc Hélouët, Karim Kecir
      Pages 155-175

    4. ABCD: A User-Friendly Language for Formal Modelling and Analysis

      • Franck Pommereau
      Pages 176-195

    5. 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
      Download chapter PDF
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 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. 

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

  • Book Title: Application and Theory of Petri Nets and Concurrency

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

  • Editors: Fabrice Kordon, Daniel Moldt

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-39086-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer International Publishing Switzerland 2016

  • Softcover ISBN: 978-3-319-39085-7Published: 09 June 2016

  • eBook ISBN: 978-3-319-39086-4Published: 08 June 2016

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVI, 345

  • Number of Illustrations: 114 b/w illustrations

  • Topics: Mathematical Logic and Formal Languages, Computer Graphics, Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation