Title:
Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding
Publication Information:
Berlin Heidelberg : Springer-Verlag GmbH., 2007.
Physical Description:
xi, 514 p. : ill., digital ; 24 cm.
ISBN:
9783540730941
General Note:
Available in online version
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-73094-1
Genre:
DSP_RESTRICTION_NOTE:
Remote access restricted to users with a valid UTM ID via VPN
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | EB001257 | EB 001257 | Electronic Book | 1:EBOOK | Searching... |
On Order
Summary
Summary
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.