[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. |
[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. |
[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. |
[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. |
[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. |