TY - BOOK AU - Petrucci,Laure AU - Kristensen,Lars M. ED - PETRI NETS 2011. TI - Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings SN - 9783642218347 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Logic design UR - http://dx.doi.org/10.1007/978-3-642-21834-7 ER -