Welcome to my home page

Jorge Castro

LARCA  Research Group
Departament de Llenguatges i Sistemes Informàtics
Universitat Politècnica de Catalunya
c/ Jordi Girona Salgado 1-3
Campus Nord, Edif. Omega
08034 Barcelona, Spain.

Office number  s121
Phone 934137897
Email  castro(removethis)@lsi.upc.edu


Links to papers where I am the single author

A full list of papers is available in my CV. You can download any of them on the coauthors' webpages.
If this is not the case, please ask me the paper you are interested on.


You can download  here a bunch  of exercices for PCD (in spanish). 
Try to solve  them  and do not forget to  install   in your laptop the
Labbelled Transition System Analyzer by  J. Magee and J. Kramer.

Pau Aguilar, a former PCD student has kindly provided the following
list of  Petri net exercices


Are you  a mountain bike fan? planning to visit  the western Alps? perhaps
you  will  find useful the following article by Joan Roca (in catalan)