Lectures on Concurrency and Petri Nets: Advances in Petri Nets

Description

This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003.
In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well.









http://rapidshare.com/files/192346428/LecConc.rar


Thank you very much!



-=Boss=-

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Lectures on Concurrency and Petri Nets: Advances in Petri Nets" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2253
2. Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009
3. Concurrency and Hardware Design - Advances in Petri Nets
4. Concurrency and Hardware Design - Advances in Petri Nets
5. Concurrency and Hardware Design(Advances in Petri Nets)
6. Transactions on Petri Nets and Other Models of Concurrency III
7. Transactions on Petri Nets and Other Models of Concurrency II
8. Transactions on Petri Nets and Other Models of Concurrency I (repost)
9. Transactions on Petri Nets and Other Models of Concurrency I (Lecture Notes in Computer Science )
10. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
11. Stochastic Petri Nets
12. Stochastic Petri Nets
13. Stochastic Petri Nets
14. Discrete, Continuous, and Hybrid Petri Nets
15. Application and Theory of Petri Nets 2000
16. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS