For the most recent entries see the Petri Nets Newsletter.

Automated Hardware Implementation of Computer Communication Protocols Using Petri Net Based Methods.

Ho, C.; Forward, K.E.; Parker, K.R.

In: Electronic Communications in the 1990's. (Conference 1990, Melbourne, Australia), pages 137-141. Barton, Australia: IE Australia, 1990.

Abstract: In this paper, the authors present a formal method called Hardware Petri Nets (H-nets) which can be used to assist in the design and implementation of reliable protocols in hardware. The concepts of hierarchical and modularized modelling structures are introduced in H-nets to enable direct mapping of a model into hardware.

Keywords: hardware implementation (of) communication protocol(s); hardware net; hierarchical (and) modularized modelling.

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

Back to the Petri Nets Bibliography