For the most recent entries see the Petri Nets Newsletter.

Modelling and Implementation of Petri Nets Using VHDL.

Prothero, Dave

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography