@INPROCEEDINGS{MVF01,
  author = "H. Macià and V. Valero and D. de Frutos-Esrig",
  title = "{sPBC: A Markovian Extension  of Petri Box Calculus}",
  booktitle = "Proc. of the 9th International Workshop on Petri Nets and Perfomance Models 
(PNPM2001)",
  pages = "207-216",
  publisher = "IEEE CS",
  year = "2001",
  month = "September",
  address = "Aachen, Germany",
}