Theoretical Computer Science and General Issues

Applications and Theory of Petri Nets 2005

26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings

Editors: Ciardo, Gianfranco, Darondeau, Philippe (Eds.)

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-31559-9
  • 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-26301-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 volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new - vancesintheapplicationandtheoryofPetrinets.Theconferencestypicallyhave 100–150 participants, one third from industry and the others from universities and research institutions, and they always take place in the last week of June. SuccessiveeditionsoftheconferencearecoordinatedbytheSteeringCommittee, whose members are listed on the next page, which also supervises several other activities—see the Petri Nets World at the URLwww.daimi.au.dk/PetriNets. The 2005 conference was organized in Miami by the School of Computer Science at Florida International University (USA). We would like to express our deep thanks to the Organizing Committee, chaired by Xudong He, for the time and e?ort invested to the bene?t of the community in making the event successful. Several tutorials and workshops were organized within the conf- ence, covering introductory and advanced aspects related to Petri nets. Detailed information can be found at the conference URLwww.cs.fiu.edu/atpn2005. We received altogether 71 submissions from authors in 22 countries. Two submissions were not in the scope of the conference. The Program Comm- tee selected 23 contributions from the remaining 69 submissions, classi?ed into three categories: application papers (6 accepted, 25 submitted), theory papers (14 accepted, 40 submitted), and tool presentations (3 accepted, 4 submitted).

Table of contents (27 chapters)

  • Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets

    Franceschinis, Giuliana

    Pages 1-14

    Preview Buy Chapter 30,19 €
  • Applications of Craig Interpolation to Model Checking

    McMillan, Kenneth

    Pages 15-16

    Preview Buy Chapter 30,19 €
  • Towards an Algebra for Security Policies

    Pincus, Jon (et al.)

    Pages 17-25

    Preview Buy Chapter 30,19 €
  • Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control

    Silva, Manuel (et al.)

    Pages 26-47

    Preview Buy Chapter 30,19 €
  • Genetic Process Mining

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

    Pages 48-69

    Preview Buy Chapter 30,19 €

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-540-31559-9
  • 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-26301-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
Applications and Theory of Petri Nets 2005
Book Subtitle
26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
Editors
  • Gianfranco Ciardo
  • Philippe Darondeau
Series Title
Theoretical Computer Science and General Issues
Series Volume
3536
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31559-9
DOI
10.1007/b136988
Softcover ISBN
978-3-540-26301-2
Edition Number
1
Number of Pages
XI, 475
Topics