Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

المؤلف
Kees M. Hee, Rüdiger Valk
سنة النشر
2008
الناشر
Springer
لغة الملف
انكليزي
نوع الملف
Book
تصنيف الكتاب
Computer Science

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.


الكلمات المفتاحية: Computer science / Petri nets / Routing / Session / Algorithms / Bounded Petri nets / Concurrent systems / Formal specification / Fuzzy Petri nets / Modeling / Nets-within-nets / Ontologies / Programming / Softw / Validation / Verification / Computer System Implementation / Theory of Computation / Software Engineering / Discrete Mathematics in Computer science / Computer Communication Networks / Processor Architectures