@INPROCEEDINGS{sPBCacsd03,
  author =       "H. Maci\`{a} and V. Valero and F. Cuartero and F.L. Pelayo",
  title =        "{A New Synchronization in Finite Stochastic Petri Box Calculus} ",
  journal =    " {\rm In} Proc. Third IEEE Int. Conference on Application of Concurrent to System Design (ACSD'03)",
  pages=      216-225, 
  publisher=  " IEEE Computer Society Press ",
  address= " Guimaraes, Portugal",
  year =         "2003",
 }