A Colored Petri Net Model of VHDL (bibtex)

by Serafín Olcoz

Reference:

A Colored Petri Net Model of VHDL (Serafín Olcoz), In Formal Methods in System Design, volume 7, 1995.

Bibtex Entry:

@Article{Olcoz1995,
  author   = {Seraf{\'{\i}}n Olcoz and Jos{\'{e}}-Manuel Colom},
  journal  = {Formal Methods in System Design},
  title    = {A {C}olored {Petri} {N}et {M}odel of {VHDL}},
  year     = {1995},
  number   = {1/2},
  pages    = {101--124},
  volume   = {7},
  doi      = {10.1007/BF01383875},
  groups   = {silarri:6},
  keywords = {Petri Net Modelling, Digital Circuits, VHDL Language},
  url      = {https://doi.org/10.1007/BF01383875},
}