Theoretical Computer Science and General Issues

Application and Theory of Petri Nets and Concurrency

35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

Editors: Ciardo, Gianfranco, Kindler, Ekkart (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
valid through November 5, 2017
  • ISBN 978-3-319-07734-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
valid through November 5, 2017
  • ISBN 978-3-319-07733-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 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 (22 chapters)

  • Propagation Nets

    Lautenbach, Kurt

    Pages 1-19

  • Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

    Baier, Christel (et al.)

    Pages 20-39

  • Complex Networks and Link Streams for the Empirical Analysis of Large Software

    Latapy, Matthieu (et al.)

    Pages 40-50

  • Soundness of Timed-Arc Workflow Nets

    Mateo, José Antonio (et al.)

    Pages 51-70

  • Process Model Discovery: A Method Based on Transition System Decomposition

    Kalenkova, Anna A. (et al.)

    Pages 71-90

Buy this book

eBook $74.99
price for USA (gross)
valid through November 5, 2017
  • ISBN 978-3-319-07734-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
valid through November 5, 2017
  • ISBN 978-3-319-07733-8
  • 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
35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Editors
  • Gianfranco Ciardo
  • Ekkart Kindler
Series Title
Theoretical Computer Science and General Issues
Series Volume
8489
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-07734-5
DOI
10.1007/978-3-319-07734-5
Softcover ISBN
978-3-319-07733-8
Edition Number
1
Number of Pages
XIV, 395
Number of Illustrations and Tables
155 b/w illustrations
Topics