Petri Nets applied to the modelling and analysis of computer architecture problems | Publicación