@PHDTHESIS{Mac01,
  author =       "H. Macìa",
  title =        "{sPBC: Una Extensión markoviana del Petri Box Calculus}",
  school =       "Dep. of Computer Science. University of Castilla-La
Mancha",
  year =         "2003",
}