Holger Blume Thorsten von Sydow Daniel Becker Tobias G. Noll Modeling NoC Architectures by Means of Deterministic and Stochastic Petri Nets. 374-383 2005 conf/samos/2005 SAMOS http://dx.doi.org/10.1007/11512622_40 db/conf/samos/samos2005.html#BlumeSBN05