Lecture Notes in Computer Science

Application and Theory of Petri Nets 1997

18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings

Editors: Azema, Pierre, Balbo, Gianfranco (Eds.)

Buy this book

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

This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.
The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.

Table of contents (25 chapters)

  • Model checking LTL using constraint programming

    Esparza, Javier (et al.)

    Pages 1-20

  • On the composition of timed systems

    Sifakis, Joseph

    Pages 21-22

  • Some issues about Petri net application to manufacturing and process supervisory control

    Valette, Robert

    Pages 23-41

  • On the abstraction of coloured Petri Nets

    Lakos, Charles

    Pages 42-61

    Preview Buy Chapter 30,19 €
  • Life-cycle inheritance

    Aalst, W. M. P. (et al.)

    Pages 62-81

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-69187-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,59 €
price for Spain (gross)
  • ISBN 978-3-540-63139-2
  • 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
Application and Theory of Petri Nets 1997
Book Subtitle
18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings
Editors
  • Pierre Azema
  • Gianfranco Balbo
Series Title
Lecture Notes in Computer Science
Series Volume
1248
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69187-7
DOI
10.1007/3-540-63139-9
Softcover ISBN
978-3-540-63139-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
IX, 475
Topics