Theoretical Computer Science and General Issues

Applications and Theory of Petri Nets

31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

Editors: Lilius, Johan, Penczek, Wojciech (Eds.)

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-642-13675-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-642-13674-0
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (20 chapters)

  • Instance Deadlock: A Mystery behind Frozen Programs

    Juhás, Gabriel (et al.)

    Pages 1-17

    Preview Buy Chapter 30,19 €
  • Some Thoughts on Behavioral Programming

    Harel, David

    Pages 18-18

    Preview Buy Chapter 30,19 €
  • Petri Nets with Localities and Testing

    Kleijn, Jetty (et al.)

    Pages 19-38

    Preview Buy Chapter 30,19 €
  • A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future

    Kristensen, Lars M.

    Pages 39-42

    Preview Buy Chapter 30,19 €
  • Can Stubborn Sets Be Optimal?

    Valmari, Antti (et al.)

    Pages 43-62

    Preview Buy Chapter 30,19 €

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-642-13675-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-642-13674-0
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Applications and Theory of Petri Nets
Book Subtitle
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings
Editors
  • Johan Lilius
  • Wojciech Penczek
Series Title
Theoretical Computer Science and General Issues
Series Volume
6128
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-13675-7
DOI
10.1007/978-3-642-13675-7
Softcover ISBN
978-3-642-13674-0
Edition Number
1
Number of Pages
X, 329
Number of Illustrations and Tables
129 b/w illustrations
Topics