José A. Gregorio Fernando Vallejo Ramón Beivide Carmen Carrión Petri Net Modeling of Interconnection Networks for Massively Parallel Architectures. 107-116 1995 International Conference on Supercomputing http://doi.acm.org/10.1145/224538.224550 db/conf/ics/ics1995.html#GregorioVBC95