| Petri Nets and Other Models of Concurrency-ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Con 2007 Edition Contributor(s): Kleijn, Jetty (Editor), Yakovlev, Alex (Editor) |
|
 |
ISBN: 3540730931 ISBN-13: 9783540730934 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: June 2007 Annotation: This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland, in June 2007. The 22 revised full papers and 3 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from a total of 70 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed, in particular system design and verification, analysis, synthesis, structure and behaviour of nets, net theory and relations, causality/partial order theory of concurrency, semantic Web, logical and algebraic calculi, symbolic net representation, tools for nets, experience reports and case studies, educational issues, higher-level net models, timed and stochastic nets, as well as standardization of nets. |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Computers | Systems Architecture - General - Computers | Networking - Hardware |
| Dewey: 004 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 1.2" H x 6.26" W x 9.25" (1.76 lbs) 515 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland. It covers all current issues on research and development in the area of Petri nets and modeling of concurrent systems including system design and verification, structure and behavior of nets, logical and algebraic calculi, and standardization of nets. |