VCPN - A description language of Coloured Petri Nets obtained from a VHDL description (bibtex)

by José Ramón Asensio, Joaquín Ezpeleta and F. García-Vallés

Reference:

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 Entry:

@TechReport{Asensio1993,
  author      = {Jos{\'{e}} Ram\'on Asensio and Joaqu{\'{\i}}n Ezpeleta and F. Garc\'{\i}a-Vall\'es and Jos{\'{e}}-Manuel Colom},
  institution = {Departamento de Ingenier\'{\i}a El\'ectrica e Inform\'atica, Universidad de Zaragoza},
  title       = {{VCPN} - {A} description language of Coloured {Petri} Nets obtained from a {VHDL} description},
  year        = {1993},
  address     = {Zaragoza, Espa\~na},
  month       = {June},
  type        = {Technical Report},
  groups      = {silarri:6},
  keywords    = {Petri Net Modelling, Digital Circuits, VHDL Language},
}