Advertisement

Application and Theory of Petri Nets and Concurrency

40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

  • Susanna Donatelli
  • Stefan Haar
Conference proceedings PETRI NETS 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11522)

Table of contents

  1. Front Matter
    Pages i-xv
  2. Models

    1. Front Matter
      Pages 1-1
    2. Vitali Schneider, Walter Vogler
      Pages 25-46
    3. Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
      Pages 47-66
  3. Tools

    1. Front Matter
      Pages 67-67
    2. Jan Henrik Röwekamp, Daniel Moldt
      Pages 69-79
    3. Matteo Camilli, Lorenzo Capra, Carlo Bellettini
      Pages 80-90
    4. Jan Martijn E. M. van der Werf, Lucas Steehouwer
      Pages 91-100
    5. Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann
      Pages 101-110
  4. Synthesis

  5. Semantics

    1. Front Matter
      Pages 169-169
    2. David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski
      Pages 171-191
    3. Łukasz Mikulski, Ivan Lanese
      Pages 213-233
  6. Concurrent Processes

    1. Front Matter
      Pages 235-235
    2. Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
      Pages 237-257
    3. Lisa Luise Mannel, Wil M. P. van der Aalst
      Pages 258-278
    4. Felix Freiberger, Holger Hermanns
      Pages 279-297
  7. Algorithmic Aspects

    1. Front Matter
      Pages 299-299
    2. Shruti Biswal, Andrew S. Miner
      Pages 301-320
    3. Torsten Liebke, Karsten Wolf
      Pages 321-341
  8. Parametrics and Combinatorics

    1. Front Matter
      Pages 363-363
    2. Javier Esparza, Mikhail Raskin, Chana Weil-Kennedy
      Pages 365-385
    3. Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski
      Pages 386-405
    4. Didier Lime, Olivier H. Roux, Charlotte Seidner
      Pages 406-425
  9. Models with Extensions

    1. Front Matter
      Pages 427-427
    2. Alain Finkel, Serge Haddad, Igor Khmelnitsky
      Pages 429-448
    3. Marco Montali, Andrey Rivkin
      Pages 449-469
  10. Back Matter
    Pages 471-471

About these proceedings

Introduction

This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.
The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions.

Keywords

artificial intelligence automata theory computer architecture computer programming databases formal logic formal methods graph theory High-level Petri nets model checking petri nets programming languages query languages semantics software engineering software evaluation verification

Editors and affiliations

  1. 1.Università di TorinoTurinItaly
  2. 2.Inria and LSV, CNRS & ENS Paris-SaclayCachan CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-21571-2
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-21570-5
  • Online ISBN 978-3-030-21571-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace