Get 40% off select Statistics books or choose from thousands of Archive eBooks at 9.99 each!

Theoretical Computer Science and General Issues

Application and Theory of Petri Nets and Concurrency

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

Editors: Donatelli, Susanna, Haar, Stefan (Eds.)

Free Preview

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-030-21571-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-030-21570-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • Describing Behavior of Processes with Many-to-Many Interactions

    Pages 3-24

    Fahland, Dirk

  • Modal Open Petri Nets

    Pages 25-46

    Schneider, Vitali (et al.)

  • Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums

    Pages 47-66

    Masetti, Giulio (et al.)

  • RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes

    Pages 69-79

    Röwekamp, Jan Henrik (et al.)

  • PNemu: An Extensible Modeling Library for Adaptable Distributed Systems

    Pages 80-90

    Camilli, Matteo (et al.)

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-030-21571-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-030-21570-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Application and Theory of Petri Nets and Concurrency
Book Subtitle
40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Editors
  • Susanna Donatelli
  • Stefan Haar
Series Title
Theoretical Computer Science and General Issues
Series Volume
11522
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-21571-2
DOI
10.1007/978-3-030-21571-2
Softcover ISBN
978-3-030-21570-5
Edition Number
1
Number of Pages
XV, 471
Number of Illustrations
922 b/w illustrations, 73 illustrations in colour
Topics