Theoretical Computer Science and General Issues

Petri Nets and Other Models of Concurrency - ICATPN 2006

27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings

Editors: Donatelli, Susanna, Thiagarajan, P.S. (Eds.)

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-34700-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-34699-9
  • 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 (26 chapters)

  • Invariant Based Programming

    Back, Ralph-Johan

    Pages 1-18

    Preview Buy Chapter 30,19 €
  • On the Integration of UML and Petri Nets in Software Development

    Campos, Javier (et al.)

    Pages 19-36

    Preview Buy Chapter 30,19 €
  • Component Tools: Integrating Petri Nets with Other Formal Methods

    Kindler, Ekkart (et al.)

    Pages 37-56

    Preview Buy Chapter 30,19 €
  • Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development

    Xu, Jianli

    Pages 57-64

    Preview Buy Chapter 30,19 €
  • Compensation in Workflow Nets

    Acu, Baver (et al.)

    Pages 65-83

    Preview Buy Chapter 30,19 €

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-34700-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-34699-9
  • 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
Petri Nets and Other Models of Concurrency - ICATPN 2006
Book Subtitle
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
Editors
  • Susanna Donatelli
  • P.S. Thiagarajan
Series Title
Theoretical Computer Science and General Issues
Series Volume
4024
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-34700-2
DOI
10.1007/11767589
Softcover ISBN
978-3-540-34699-9
Edition Number
1
Number of Pages
XI, 441
Topics