Applications and Theory of Petri Nets
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.
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. The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.
Autor*in
Kees van Hee
Themen in »Applications and Theory of Petri Nets«
Petri nets Routing Session algorithms bounded Petri nets concurrent systems formal specification fuzzy Petri nets modeling nets-within-nets ontologies programming softw validation verification