Serge Haddad Patrice Moreaux Matteo Sereno Manuel Silva Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. 164-183 2001 conf/apn/2001 ICATPN http://dx.doi.org/10.1007/3-540-45740-2_11 db/conf/apn/icatpn2001.html#HaddadMSS01