Publications of the COSMOS Research Group

1993
[5]	VCPN - A description language of Coloured Petri Nets obtained from a VHDL description (José Ramón Asensio, Joaquín Ezpeleta and F. García-Vallés), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1993. [bibtex]
1994
[4]	VCPN - A description language of Coloured Petri Nets obtained from an elaborated VHDL description (José-Manuel Colom, José Ramón Asensio, Joaquín Ezpeleta, Fernando García-Vallés and Enrique Teruel), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1994. [bibtex]
[3]	Translating VHDL into Coloured Petri Nets (José-Manuel Colom, José Ramón Asensio, Joaquín Ezpeleta, Fernando García-Vallés, Serafín Olcoz and Enrique Teruel), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1994. [bibtex]
[2]	Structural Analysis of Petri Nets (José-Manuel Colom, José Ramón Asensio, Joaquín Ezpeleta, Fernando García-Vallés and Enrique Teruel), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1994. [bibtex]
[1]	Structural Analysis of Place/Transition Nets. An Example (José-Manuel Colom, José Ramón Asensio, Joaquín Ezpeleta, Fernando García-Vallés and Enrique Teruel), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1994. [bibtex]