From Systems to Components: Constructive Methods for Product-Form Solutions Andrea Marin 1 Maria Grazia Vigliotti 2 1 Dipartimento di Informatica Università Ca’ Foscari di Venezia 2 Department of Computing Imperial College London QEST 10 Maria Grazia Vigliotti Imperial College London Constructive Methods for Product-Form Solutions QEST2010, September 15 2010