Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Computer Science

Applications and Theory of Petri Nets 2001

22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings

Editors: Colom, Jose-Manuel, Koutny, Maciej (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-45740-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-42252-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100{150 participants { one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. This year the conference was organized jointly with the 2nd International Conference on Application of Concurrency to System Design (ICACSD 2001). The two conferences shared the invited lectures and the social program. The conference and a number of other activities are co-ordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Aust- lia), G. De Michelis (Italy), C. Girault (France), K. Jensen (Denmark), S. - magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2001 conference included tool dem- strations, a meeting on \XML Based Interchange Formats for Petri Nets", - tensive introductory tutorials, two advanced tutorials on \Probabilistic Methods in Concurrency" and \Model Checking", and two workshops on \Synthesis of Concurrent Systems" and \Concurrency in Dependable Computing". The tu- rial notes and workshop proceedings are not published in these proceedings, but copies are available from the organizers.

Table of contents (22 chapters)

Table of contents (22 chapters)
  • Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?

    Pages 1-18

    Donatelli, Susanna

  • The Flux of Interaction

    Pages 19-22

    Milner, Robin

  • Towards a Notion of Distributed Time for Petri Nets

    Pages 23-31

    Nielsen, Mogens (et al.)

  • Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance

    Pages 32-52

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

  • Timed Petri Nets and BQOs

    Pages 53-70

    Abdulla, Parosh Aziz (et al.)

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Applications and Theory of Petri Nets 2001
Book Subtitle
22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
Editors
  • Jose-Manuel Colom
  • Maciej Koutny
Series Title
Lecture Notes in Computer Science
Series Volume
2075
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45740-4
DOI
10.1007/3-540-45740-2
Softcover ISBN
978-3-540-42252-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 408
Topics