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 $99.00
price for USA (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 $129.00
price for USA
  • ISBN 978-3-540-34699-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (26 chapters)

  • Invariant Based Programming

    Back, Ralph-Johan

    Pages 1-18

  • On the Integration of UML and Petri Nets in Software Development

    Campos, Javier (et al.)

    Pages 19-36

  • Component Tools: Integrating Petri Nets with Other Formal Methods

    Kindler, Ekkart (et al.)

    Pages 37-56

  • Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development

    Xu, Jianli

    Pages 57-64

  • Compensation in Workflow Nets

    Acu, Baver (et al.)

    Pages 65-83

Buy this book

eBook $99.00
price for USA (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 $129.00
price for USA
  • ISBN 978-3-540-34699-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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