In: Yakovlev, A.; Gomes, L.; Lavagno, L.: Hardware Design and Petri Nets, pages 223-236. Boston: Kluwer Academic Publishers, 2000.
Abstract: The use of Petri nets for the modelling of concurrent systems is long-established. Their application in the field of digital design is to the specification and modelling of self-timed systems within which the sequencing of operations is not synchronised to a global clock signal. This paper demonstrates the use of a standard hardware description language, VHDL, to model and simulate the operation of Petri nets at different levels of abstraction. Techniques for subsequently synthesising hardware circuits from Petri net specifications are also described.
Keywords: asynchronous, HDL, modelling, Petri nets, synthesis.