@article{Rodríguez:57744,
      author        = "Rodríguez, Ricardo J.",
      title         = "{A Petri Net Tool for Software Performance Estimation
                       Based on Upper Throughput Bounds}",
      year          = "2017",
}