@article{Silva:70370,
      author        = "Silva, Manuel",
      title         = "{Las Redes de Petri : en la Automática y la Informática;
                       1ª ed.}",
      year          = "1985",
}