Get 40% off of select print and eBooks in Engineering & Materials Science!

Theoretical Computer Science and General Issues

Application and Theory of Petri Nets and Concurrency

36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Editors: Devillers, R., Valmari, Antti (Eds.)

Free Preview

Buy this book

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

This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.

The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 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.

Table of contents (17 chapters)

Table of contents (17 chapters)
  • On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets

    Pages 1-32

    Barbot, Benoît (et al.)

  • Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs

    Pages 33-48

    Dumas, Marlon (et al.)

  • Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers

    Pages 49-76

    Lorenz, Robert

  • On Interval Process Semantics of Petri Nets with Inhibitor Arcs

    Pages 77-97

    Alqarni, Mohammed (et al.)

  • An SRN-Based Resiliency Quantification Approach

    Pages 98-116

    Bruneo, Dario (et al.)

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-319-19488-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-319-19487-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
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Editors
  • R. Devillers
  • Antti Valmari
Series Title
Theoretical Computer Science and General Issues
Series Volume
9115
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-19488-2
DOI
10.1007/978-3-319-19488-2
Softcover ISBN
978-3-319-19487-5
Edition Number
1
Number of Pages
X, 351
Number of Illustrations
129 b/w illustrations
Topics