For the most recent entries see the Petri Nets Newsletter.

Petri Net Models in Hardware.

Kubatova, Hana

In: ECMS 2003. Liberec : Technical University, ISBN 80-7083-708-X., pages 158-162. June 2003.

Abstract: The main aim of this paper is the description of several Petri net models and their hardware implementation. Only such models that are not equivalent to the finite state machine are presented and tested. Petri net models can be verified by appropriate commercial software tool (here Design/CPN). The automatic transmission from the Petri net model to the hardware implementation through VHDL specification is used. The global Petri net structure is described by basic architecture blocks. Simulation results for the dinning philosophers and mutual exclusion examples for simple railway and producer-consumer problem are presented.

Keywords: Petri Net; VHDL; FPGA; dinning philosophers.


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

Back to the Petri Nets Bibliography