In: Workshop for Hardware Design and Petri Nets, Lisboa, June 22-26, 1998, pages 129-138. 1998.
Also in: Yakovlev, A.; Gomes, L.; Lavagno, L.: Hardware Design and Petri Nets, pages 193-204. Boston: Kluwer Academic Publishers, 2000.
Abstract: A design and implementation methodology for system specification, modelling and implementation using a special kind of high level Petri nets is described. Electronic system design automation tools are used to generate synthesizable VHDL code from a Petri net model. For the design of large systems with regular structures using of coloured Petri nets will improve the handling and flexibility. Two design examples illustrate the described methodology.