175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Lecture Notes in Computer Science

Applications and Theory of Petri Nets 2004

25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings

Editors: Cortadella, Jordi, Reisig, Wolfgang (Eds.)

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-540-27793-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-540-22236-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (30 chapters)

  • Positive Non-interference in Elementary and Trace Nets

    Busi, Nadia (et al.)

    Pages 1-16

    Preview Buy Chapter 30,19 €
  • Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?

    Ciardo, Gianfranco

    Pages 17-34

    Preview Buy Chapter 30,19 €
  • Embedded Software: Better Models, Better Code

    Henzinger, Thomas A.

    Pages 35-36

    Preview Buy Chapter 30,19 €
  • Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata

    Penczek, Wojciech (et al.)

    Pages 37-76

    Preview Buy Chapter 30,19 €
  • Formal Tools for Modular System Development

    Pomello, Lucia (et al.)

    Pages 77-96

    Preview Buy Chapter 30,19 €

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-540-27793-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-540-22236-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • 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 2004
Book Subtitle
25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
Editors
  • Jordi Cortadella
  • Wolfgang Reisig
Series Title
Lecture Notes in Computer Science
Series Volume
3099
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-27793-4
DOI
10.1007/b98283
Softcover ISBN
978-3-540-22236-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 505
Topics