Lecture Notes in Computer Science

Application and Theory of Petri Nets 1999

20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings

Editors: Donatelli, Susanna, Kleijn, Jetty (Eds.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-48745-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-66132-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (24 chapters)

  • Design, Simulation, and Implementation of Hybrid Systems

    Varaiya, Pravin

    Pages 1-5

  • Efficient Reachability Set Generation and Storage Using Decision Diagrams

    Miner, Andrew S. (et al.)

    Pages 6-25

  • Structural Methods to Improve the Symbolic Analysis of Petri Nets

    Pastor, Enric (et al.)

    Pages 26-45

  • Stubborn Sets for Standard Properties

    Schmidt, Karsteb

    Pages 46-65

  • Petri Net Based Behavioural Specification of CORBA Systems

    Bastide, Rémi (et al.)

    Pages 66-85

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-48745-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-66132-0
  • 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 1999
Book Subtitle
20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
Editors
  • Susanna Donatelli
  • Jetty Kleijn
Series Title
Lecture Notes in Computer Science
Series Volume
1639
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48745-6
DOI
10.1007/3-540-48745-X
Softcover ISBN
978-3-540-66132-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
CDXL, 432
Topics