Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
- Author
- Kees M. Hee, Rüdiger Valk
- Publication Year
- 2008
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Computer Science
- Download Book Read book
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.
Keywords: 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
